/ALTERNATIVES/1.1/Mon Feb  6 01:06:05 2017//
/DESCR/1.1/Sun May  8 07:22:24 2016//
/PLIST/1.5/Sun Dec 15 11:13:37 2019//
/Makefile/1.9/Sat Jan 14 01:00:37 2023//
/distinfo/1.7/Sat Jan 14 01:00:37 2023//
D