/ALTERNATIVES/1.2/Sun Dec  9 20:47:40 2018//
/DESCR/1.1/Sat Jun 14 16:46:52 2014//
/PLIST/1.11/Sat Jan 20 01:00:42 2024//
/distinfo/1.32/Sat Jan 20 01:00:42 2024//
/Makefile/1.42/Thu Jan 25 01:00:44 2024//
D