/ALTERNATIVES/1.2/Sun Dec 16 14:54:39 2018//
/DESCR/1.1/Fri Jul  6 03:36:58 2018//
/PLIST/1.4/Mon Nov  6 01:00:49 2023//
D/patches////
/Makefile/1.15/Mon Feb 12 01:01:00 2024//
/distinfo/1.7/Mon Feb 12 01:01:00 2024//