/patch-GUI_xephem_ps_c/1.3/Tue Aug  7 10:20:23 2018//
/patch-GUI_xephem_xephem_man/1.1/Tue Aug  7 10:20:23 2018//
D
