/DESCR/1.1/Sat Oct 20 12:21:39 2012//
/PLIST/1.1/Sat Oct 20 12:21:39 2012//
/options.mk/1.6/Sat Nov  2 21:09:13 2019//
/distinfo/1.5/Tue Nov 16 01:00:26 2021//
/Makefile/1.4/Fri Dec 29 01:00:28 2023//
D