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

../
gap-primgrp_3.4.3-1.debian.tar.xz                  21-Dec-2022 19:10                3364
gap-primgrp_3.4.3-1.dsc                            21-Dec-2022 19:10                1870
gap-primgrp_3.4.3-1_all.deb                        21-Dec-2022 19:40            14339964
gap-primgrp_3.4.3.orig.tar.gz                      21-Dec-2022 19:10            14659115