/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.16/Mon May 27 01:01:29 2024//
/distinfo/1.14/Mon May 27 01:01:29 2024//
D
