/DESCR/1.1/Fri Jan 10 09:50:42 2014//
/PLIST/1.2/Tue Jul 14 12:03:40 2015//
/distinfo/1.9/Tue Oct 26 10:05:20 2021//
/options.mk/1.2/Sun Nov 18 12:06:23 2018//
D/patches////
/Makefile/1.18/Wed Oct 25 01:00:31 2023//