/ALTERNATIVES/1.2/Tue Oct  3 05:35:40 2017//
/DESCR/1.1/Sat Jun 10 15:12:48 2017//
/PLIST/1.2/Fri Jun 16 21:03:58 2017//
/distinfo/1.4/Tue Oct 26 10:18:30 2021//
D/patches////
/Makefile/1.7/Thu Jan  6 01:00:41 2022//