/DESCR/1.2/Mon Nov  8 01:01:43 2021//
/ALTERNATIVES/1.3/Tue Jul 19 01:00:48 2022//
/PLIST/1.24/Fri May 12 01:00:53 2023//
/distinfo/1.24/Fri May 12 01:00:53 2023//
/Makefile/1.36/Wed Aug  2 01:00:47 2023//
D