/ALTERNATIVES/1.1/Sun Jun 16 19:12:40 2019//
/DESCR/1.1/Fri Sep 29 21:14:48 2017//
/PLIST/1.2/Sun Jun 16 19:12:40 2019//
/distinfo/1.8/Sat Nov 19 01:00:34 2022//
/Makefile/1.14/Wed Aug  2 01:00:35 2023//
D