/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.15/Mon Mar 11 01:01:16 2024//
/distinfo/1.13/Mon Mar 11 01:01:16 2024//
D