/DESCR/1.1/Mon Jul 11 22:05:02 2016//
/options.mk/1.21/Sat Nov  4 01:00:49 2023//
/PLIST/1.26/Thu Feb 15 01:00:58 2024//
/Makefile/1.95/Sat Apr 27 01:01:00 2024//
/distinfo/1.72/Sat Apr 27 01:01:00 2024//
D