/ALTERNATIVES/1.1/Fri May  5 10:39:44 2023//
/DESCR/1.1/Fri May  5 10:39:44 2023//
/PLIST/1.3/Sun Oct 29 01:01:09 2023//
/distinfo/1.13/Wed Sep  3 01:01:15 2025//
/Makefile/1.20/Fri Oct 10 01:01:17 2025//
D
