/DESCR/1.1/Sun Feb  9 15:25:46 2014//
/ALTERNATIVES/1.2/Tue Nov  1 01:00:41 2022//
/PLIST/1.7/Thu Jan 18 01:00:55 2024//
/Makefile/1.16/Thu Feb  1 01:00:39 2024//
/distinfo/1.10/Thu Feb  1 01:00:39 2024//
D