/DESCR/1.1.1.1/Sun Jan  8 15:18:40 2012//
/PLIST/1.2/Wed Jul 11 09:25:22 2012//
/distinfo/1.4/Tue Oct 26 10:59:12 2021//
/options.mk/1.12/Wed Jun  7 01:00:57 2023//
/Makefile/1.41/Thu Nov  9 01:00:56 2023//
D