/ALTERNATIVES/1.2/Sat Dec 22 17:18:06 2018//
/DESCR/1.2/Thu Sep 10 20:42:56 2020//
/PLIST/1.7/Mon Dec 17 16:30:49 2018//
/distinfo/1.16/Mon Dec 27 01:00:42 2021//
D/patches////
/Makefile/1.26/Tue Aug 15 01:00:39 2023//