/DESCR/1.1/Fri May  8 13:47:42 2015//
/PLIST/1.2/Sun Aug  7 09:01:08 2016//
/Makefile/1.10/Mon Jun 12 01:00:47 2023//
/distinfo/1.12/Mon Jun 12 01:00:47 2023//
D