/ALTERNATIVES/1.1/Sat Feb  5 11:26:35 2022//
/DESCR/1.1/Sat Feb  5 11:26:35 2022//
/PLIST/1.6/Fri Nov 10 01:01:18 2023//
/distinfo/1.14/Sat Dec 27 01:01:09 2025//
/Makefile/1.20/Mon Jun 29 01:01:05 2026//
D
