/ALTERNATIVES/1.2/Sun Jan 20 13:20:02 2019//
/DESCR/1.1/Wed Jul 15 18:23:55 2015//
/PLIST/1.7/Sat Jan 27 01:01:18 2024//
/distinfo/1.12/Sat Jan 27 01:01:18 2024//
/Makefile/1.14/Thu Feb  1 01:01:13 2024//
D