/ALTERNATIVES/1.1/Wed Feb 28 15:16:45 2018//
/DESCR/1.1/Sat Jul  5 12:29:25 2014//
/PLIST/1.12/Mon Dec 18 01:00:40 2023//
/Makefile/1.35/Sun Feb  4 01:00:34 2024//
/distinfo/1.13/Sun Feb  4 01:00:34 2024//
D