/DESCR/1.1.1.1/Fri Feb 22 22:03:37 2002//
/distinfo/1.6/Mon Nov  8 01:01:25 2021//
D/patches////
/Makefile/1.31/Fri Jul  7 01:00:43 2023//