/ALTERNATIVES/1.1/Mon Jul  6 15:16:49 2020//
/DESCR/1.1/Sat Jul 20 21:18:59 2019//
/PLIST/1.2/Mon Jul  6 15:16:49 2020//
/distinfo/1.4/Tue Oct 26 10:15:07 2021//
D/patches////
/Makefile/1.5/Fri Jan  7 01:00:38 2022//