Index of /pub/linux/debian/pool/main/g/gap-polymaking/


../
gap-polymaking_0.8.6-2.debian.tar.xz               27-Nov-2021 17:22    3612
gap-polymaking_0.8.6-2.dsc                         27-Nov-2021 17:22    1885
gap-polymaking_0.8.6-2_all.deb                     27-Nov-2021 18:12    243K
gap-polymaking_0.8.6.orig.tar.gz                   03-Oct-2021 19:57    269K
gap-polymaking_0.8.7-3.debian.tar.xz               17-Apr-2024 15:41    3672
gap-polymaking_0.8.7-3.dsc                         17-Apr-2024 15:41    1932
gap-polymaking_0.8.7-3_all.deb                     17-Apr-2024 16:06    260K
gap-polymaking_0.8.7.orig.tar.gz                   22-Nov-2023 23:02    275K