/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.9/Fri Oct 10 01:01:17 2025//
D
