/DESCR/1.1/Mon Mar 31 08:11:14 2014//
/PLIST/1.4/Fri Jul  7 21:24:59 2017//
/Makefile/1.12/Thu Oct  5 01:00:42 2023//
/distinfo/1.10/Thu Oct  5 01:00:42 2023//
D