/ALTERNATIVES/1.3/Wed May  6 11:16:45 2020//
/DESCR/1.1/Sun Feb  2 00:27:38 2014//
/PLIST/1.7/Sun Jan  7 01:01:04 2024//
/distinfo/1.10/Sun Jan  7 01:01:04 2024//
/Makefile/1.19/Sun Jan 21 01:01:07 2024//
D