/DESCR/1.1/Mon May  4 12:41:29 2015//
/PLIST/1.2/Wed Jan 30 08:07:26 2019//
/Makefile/1.8/Sun Apr  2 01:00:58 2023//
/distinfo/1.9/Sun Apr  2 01:00:58 2023//
D