/ALTERNATIVES/1.1/Wed Jul  1 08:52:38 2020//
/DESCR/1.1/Wed Jul  1 08:52:38 2020//
/PLIST/1.2/Mon Nov  6 01:01:01 2023//
/distinfo/1.8/Mon Nov  6 01:01:01 2023//
/Makefile/1.9/Wed Nov  8 01:01:14 2023//
D