/DESCR/1.1/Tue Sep 10 12:34:55 2019//
/PLIST/1.1/Tue Sep 10 12:34:55 2019//
/distinfo/1.5/Tue Oct 26 09:58:44 2021//
/options.mk/1.1/Tue Sep 10 13:49:14 2019//
/Makefile/1.15/Sun Apr  7 01:00:32 2024//
D