/ALTERNATIVES/1.1/Fri May  5 10:59:41 2023//
/DESCR/1.1/Fri May  5 10:59:41 2023//
/distinfo/1.3/Sat Feb  8 01:01:07 2025//
/PLIST/1.4/Sat Apr 26 01:01:07 2025//
/Makefile/1.10/Mon Jun 29 01:01:05 2026//
D
