/DESCR/1.1/Thu Apr  2 22:35:34 2015//
/PLIST/1.10/Wed May  3 01:00:56 2023//
/Makefile/1.37/Fri Dec  8 01:00:54 2023//
/distinfo/1.18/Fri Dec  8 01:00:54 2023//
D