/DESCR/1.1/Tue Apr  7 11:23:09 2015//
/PLIST/1.2/Thu Jul  2 12:38:20 2015//
/Makefile/1.10/Fri Dec 15 01:00:38 2023//
/distinfo/1.12/Fri Dec 15 01:00:38 2023//
D