/DESCR/1.1/Mon Aug 20 12:17:20 2012//
/PLIST/1.7/Mon Oct 12 14:26:52 2020//
/distinfo/1.14/Tue Oct 26 11:05:36 2021//
/options.mk/1.3/Tue Aug  2 16:56:32 2016//
/Makefile/1.39/Thu Nov  9 01:00:57 2023//
D