/ALTERNATIVES/1.2/Tue Dec  4 13:29:13 2018//
/DESCR/1.1/Sun Dec 10 16:34:41 2017//
/PLIST/1.4/Mon Nov  6 01:00:28 2023//
/Makefile/1.9/Thu Feb  8 01:00:40 2024//
/distinfo/1.7/Thu Feb  8 01:00:40 2024//
D