/DESCR/1.1/Wed Feb 22 13:19:07 2017//
D/patches////
/ALTERNATIVES/1.2/Sat May  6 01:01:12 2023//
/distinfo/1.32/Tue Jun 20 01:01:07 2023//
/PLIST/1.20/Tue Nov 14 01:01:12 2023//
/Makefile/1.40/Sat Apr 27 01:01:23 2024//