/ALTERNATIVES/1.1/Thu Dec 13 20:45:49 2018//
/DESCR/1.1/Thu Jul 26 13:55:30 2018//
/PLIST/1.3/Thu Dec 13 21:01:01 2018//
/distinfo/1.8/Tue Oct 26 11:23:11 2021//
D/patches////
/Makefile/1.10/Tue Apr 18 01:01:10 2023//