/DESCR/1.2/Tue May  6 17:41:29 2003//
/PLIST/1.4/Mon Nov  8 01:01:25 2021//
/distinfo/1.12/Mon Nov  8 01:01:25 2021//
/Makefile/1.46/Fri Jul  7 01:00:43 2023//
D