/DESCR/1.1/Sun Nov 10 20:11:30 2019//
/PLIST/1.1/Sun Nov 10 20:11:30 2019//
/distinfo/1.3/Tue Oct 26 10:47:21 2021//
/options.mk/1.1/Sun Nov 10 20:11:30 2019//
D/patches////
/Makefile/1.6/Mon Nov 13 01:00:51 2023//