/DESCR/1.1/Sat Jul  1 05:57:07 2017//
/distinfo/1.6/Tue Oct 26 11:05:21 2021//
/options.mk/1.6/Sun Nov  3 11:45:29 2019//
D/files////
/PLIST/1.2/Tue Jan 11 01:01:03 2022//
/Makefile/1.14/Tue Aug 15 01:00:52 2023//