/DESCR/1.1/Wed Jul  1 14:23:55 2015//
/PLIST/1.5/Tue Aug  1 01:00:45 2023//
/distinfo/1.10/Tue Aug  1 01:00:45 2023//
/Makefile/1.14/Thu Nov  9 01:00:49 2023//
D