/ALTERNATIVES/1.1/Tue Nov  3 05:05:12 2020//
/DESCR/1.1/Mon Jul 20 19:45:09 2020//
/PLIST/1.7/Mon May 22 01:01:06 2023//
/Makefile/1.17/Tue Nov  4 01:01:20 2025//
/distinfo/1.15/Tue Nov  4 01:01:20 2025//
D
