/DESCR/1.1/Sun Dec 15 14:05:47 2019//
/options.mk/1.1/Sun Dec 15 14:05:47 2019//
/PLIST/1.3/Sat Jul 30 01:01:07 2022//
/hacks.mk/1.3/Sat Jul 30 01:01:07 2022//
/distinfo/1.9/Mon Sep  5 01:01:26 2022//
/Makefile/1.10/Tue Aug 15 01:01:13 2023//
D