/ALTERNATIVES/1.1/Mon Jan  9 13:09:35 2023//
/DESCR/1.1/Mon Jan  9 13:09:35 2023//
/PLIST/1.4/Thu Jan 26 01:00:56 2023//
/distinfo/1.4/Thu Jan 26 01:00:56 2023//
/Makefile/1.5/Sat Nov  1 01:01:15 2025//
D
