Index of /pool/universe/g/gap-polymaking/

../
gap-polymaking_0.8.7-1.debian.tar.xz               23-Nov-2023 05:40                3380
gap-polymaking_0.8.7-1.dsc                         23-Nov-2023 05:40                1885
gap-polymaking_0.8.7-1_all.deb                     24-Nov-2023 12:37              245764
gap-polymaking_0.8.7.orig.tar.gz                   23-Nov-2023 05:40              281215