orte_info_ver_minor   55 orte/tools/orte-info/orte-info.h extern const char *orte_info_ver_minor;
orte_info_ver_minor   43 orte/tools/orte-info/version.c const char *orte_info_ver_minor = "minor";
orte_info_ver_minor  345 orte/tools/orte-info/version.c     } else if (0 == strcmp(scope, orte_info_ver_minor)) {