/DESCR/1.2/Wed Feb  1 12:32:12 2012//
/PLIST/1.4/Sun Jan 10 15:44:14 2021//
/tool.mk/1.2/Wed Jun  7 01:00:44 2023//
/distinfo/1.36/Mon Dec 18 01:00:49 2023//
/Makefile/1.41/Thu Apr 18 01:00:43 2024//
D