Index of /dev/pool/main/g/gap-polymaking/

../
gap-polymaking_0.8.6-2.debian.tar.xz               27-Nov-2021 14:22                3612
gap-polymaking_0.8.6-2.dsc                         27-Nov-2021 14:22                1885
gap-polymaking_0.8.6-2_all.deb                     27-Nov-2021 15:12              248340
gap-polymaking_0.8.6.orig.tar.gz                   03-Oct-2021 16:57              275617