/DESCR/1.1.1.1/Sat May 17 22:03:58 2008//
/PLIST/1.7/Mon Nov  8 01:02:45 2021//
/builtin.mk/1.1/Fri Dec  3 12:47:54 2021//
/distinfo/1.13/Mon Oct 10 01:01:14 2022//
/Makefile/1.32/Mon Nov 13 01:01:24 2023//
D
