Index of /old-ubuntu/pool/universe/g/gap-gdat/


../
gap-prim-groups_4r4p10-1_all.deb                                                                                         25-Sep-2023 15:11      7M
gap-small-groups-extra_4r4p10-1_all.deb                                                                                  25-Sep-2023 15:11     14M
gap-small-groups_4r4p10-1_all.deb                                                                                        25-Sep-2023 15:11      4M
gap-trans-groups_4r4p10-1_all.deb                                                                                        25-Sep-2023 15:11      3M