/patch-GUI_xephem_ps_c/1.3/Sun Aug 12 07:13:24 2018//
/patch-GUI_xephem_xephem_man/1.2/Sat Mar 12 08:14:57 2022//
D
