/DESCR/1.1/Sat Sep 16 21:45:00 2017//
/ALTERNATIVES/1.3/Mon Aug 29 01:00:55 2022//
/PLIST/1.10/Mon Aug 29 01:00:55 2022//
/Makefile/1.20/Sun Feb  4 01:00:57 2024//
/distinfo/1.18/Sun Feb  4 01:00:57 2024//
D