/DESCR/1.1/Sun Nov 11 01:59:23 2018//
/PLIST/1.1/Sun Nov 11 01:59:23 2018//
/distinfo/1.4/Tue Oct 26 10:54:02 2021//
/options.mk/1.2/Sat Nov  2 16:25:21 2019//
D/patches////
/Makefile/1.14/Thu Nov  9 01:00:51 2023//