/ALTERNATIVES/1.1/Sat Feb  6 11:18:26 2021//
/DESCR/1.1/Mon Jun 29 13:04:14 2020//
/PLIST/1.2/Sat Feb  6 11:18:26 2021//
D/patches////
/options.mk/1.3/Wed Jan  5 01:00:47 2022//
/distinfo/1.5/Fri Mar 15 01:01:00 2024//
/Makefile/1.17/Sun Apr  7 01:00:49 2024//