/patch-GUI_xephem_ps_c/1.3/Tue Aug  7 10:20:23 2018//TOPENBSD_7_8
/patch-GUI_xephem_xephem_man/1.2/Fri Mar 11 18:17:42 2022//TOPENBSD_7_8
D
