/DESCR/1.2/Thu Sep 17 13:52:15 2020//
/PLIST/1.1/Sun May 21 17:30:03 2017//
/options.mk/1.1/Sun May 21 17:30:03 2017//
D/files////
D/patches////
/Makefile.common/1.19/Mon Oct  2 01:01:07 2023//
/distinfo/1.24/Mon Oct  2 01:01:07 2023//
/Makefile/1.51/Thu Nov  9 01:01:08 2023//