/ALTERNATIVES/1.4/Wed May  6 11:16:46 2020//
/DESCR/1.1/Mon May 21 23:45:59 2018//
/PLIST/1.16/Sun Oct 29 01:00:55 2023//
/Makefile/1.47/Mon May  6 01:00:58 2024//
/distinfo/1.41/Mon May  6 01:00:58 2024//
D