/ALTERNATIVES/1.1/Sun Apr 30 14:49:02 2023//
/DESCR/1.5/Mon May  1 01:01:08 2023//
/PLIST/1.8/Mon May  1 01:01:08 2023//
/Makefile/1.20/Tue Mar  5 01:01:16 2024//
/distinfo/1.15/Tue Mar  5 01:01:16 2024//
D