/ALTERNATIVES/1.2/Wed May  6 11:16:45 2020//
/DESCR/1.1/Mon Apr  3 14:32:09 2017//
/PLIST/1.3/Sat Jul  9 01:00:36 2022//
/Makefile/1.7/Tue Apr 30 01:00:47 2024//
/distinfo/1.6/Tue Apr 30 01:00:47 2024//
D/patches////