D/patches////
/DESCR/1.2/Tue May  6 17:41:51 2003//
/PLIST/1.10/Mon Jun 15 01:08:32 2009//
/distinfo/1.12/Mon Nov  8 01:01:40 2021//
/gap.package.mk/1.15/Mon Nov  8 01:01:40 2021//
/Makefile/1.33/Fri Jan 26 01:01:06 2024//