/DESCR/1.2/Tue May  6 17:42:51 2003//
/PLIST/1.6/Mon Nov  8 01:02:24 2021//
/distinfo/1.11/Mon Nov  8 01:02:24 2021//
/Makefile/1.37/Wed Jun 29 01:01:04 2022//
D