/DESCR/1.1/Tue Dec 30 15:41:23 2014//
/options.mk/1.2/Sat Nov  2 15:38:10 2019//
/PLIST/1.4/Wed Aug  9 01:00:35 2023//
/distinfo/1.7/Wed Aug  9 01:00:35 2023//
/Makefile/1.31/Sat Feb 17 01:00:41 2024//
D