/DESCR/1.1/Sun Dec 29 21:31:34 2019//
/PLIST/1.1/Sun Dec 29 21:31:34 2019//
/distinfo/1.3/Tue Oct 26 10:46:21 2021//
/options.mk/1.1/Sun Dec 29 21:31:34 2019//
/Makefile/1.13/Thu Nov  9 01:00:47 2023//
D