/ALTERNATIVES/1.4/Wed Jan  2 15:18:20 2019//
/DESCR/1.1/Sun Apr 23 04:27:47 2017//
/PLIST/1.16/Sun Oct 29 01:00:38 2023//
/Makefile/1.42/Mon Mar 18 01:00:45 2024//
/distinfo/1.34/Mon Mar 18 01:00:45 2024//
D