/DESCR/1.2/Mon Jul 16 14:12:34 2018//
/PLIST/1.5/Mon Jul 16 14:12:34 2018//
/options.mk/1.3/Mon Jul 16 14:12:34 2018//
D/files////
/distinfo/1.7/Thu Jan  6 01:01:19 2022//
D/patches////
/Makefile/1.15/Wed Oct 25 01:01:10 2023//