/DESCR/1.1/Thu Jul 18 10:44:57 2019//
D/patches////
/PLIST/1.5/Thu Aug  4 01:00:39 2022//
/distinfo/1.19/Fri Dec 16 01:00:40 2022//
/options.mk/1.2/Sat Jul 22 01:00:41 2023//
/Makefile.common/1.21/Sat Aug 12 01:00:43 2023//
/Makefile/1.23/Sun Apr  7 01:00:48 2024//