/DESCR/1.1/Fri Nov 27 16:20:31 2015//
/PLIST/1.3/Sun Aug 18 20:32:59 2019//
/options.mk/1.2/Mon Nov  4 22:10:15 2019//
D/patches////
/distinfo/1.9/Thu Dec  7 01:01:07 2023//
/Makefile/1.14/Sun Dec 31 01:01:12 2023//