/DESCR/1.1/Mon May 18 15:19:01 2020//
/ALTERNATIVES/1.2/Thu Aug 11 01:00:46 2022//
/PLIST/1.4/Sun Oct 29 01:00:48 2023//
/Makefile/1.14/Mon Apr 22 01:00:57 2024//
/distinfo/1.10/Mon Apr 22 01:00:57 2024//
D