/DESCR/1.1/Tue Jun  4 03:34:23 2013//
/PLIST/1.1/Tue Jun  4 03:34:23 2013//
/options.mk/1.1/Tue Jun  4 03:34:23 2013//
/builtin.mk/1.1/Thu Dec  2 18:14:38 2021//
/distinfo/1.5/Sat Dec 10 01:01:11 2022//
/Makefile/1.17/Mon Nov 13 01:01:24 2023//
D