/DESCR/1.1/Sun May 22 13:03:21 2016//
/options.mk/1.2/Sun May 31 15:49:15 2020//
/PLIST/1.8/Mon May  8 01:01:14 2023//
/distinfo/1.16/Mon May  8 01:01:14 2023//
/Makefile/1.45/Sun Aug 31 01:01:15 2025//
D
