/DESCR/1.1/Sat Mar 14 18:52:30 2015//
/MESSAGE/1.2/Sat Mar 21 21:35:07 2015//
/PLIST/1.3/Tue Jul 26 04:26:47 2016//
/distinfo/1.4/Tue Oct 26 10:18:02 2021//
/options.mk/1.1/Sat Mar 14 18:52:30 2015//
/Makefile/1.7/Wed Jun  7 01:00:43 2023//
D