/DESCR/1.1/Tue Dec 30 15:44:25 2014//
/options.mk/1.2/Sat Nov  2 15:38:10 2019//
/PLIST/1.4/Fri Jan 28 01:00:30 2022//
/distinfo/1.7/Fri Jan 28 01:00:30 2022//
/Makefile/1.19/Sat Feb 17 01:00:41 2024//
D