/ALTERNATIVES/1.4/Sat Dec 22 17:31:02 2018//
/DESCR/1.2/Sun Mar 19 15:30:00 2017//
/PLIST/1.11/Fri Jan  3 01:01:09 2025//
/Makefile/1.25/Sun Aug  3 01:01:12 2025//
/distinfo/1.24/Sun Aug  3 01:01:12 2025//
D
