/ALTERNATIVES/1.1/Mon Apr  6 08:03:00 2020//
/DESCR/1.1/Mon Apr  6 08:03:00 2020//
/PLIST/1.2/Sun May  7 01:01:07 2023//
/distinfo/1.4/Sun May  7 01:01:07 2023//
/Makefile/1.5/Wed Nov  8 01:01:19 2023//
D