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


../
gap-character-tables_1.3.4-1_all.deb               16-Jul-2022 14:55            12807044
gap-ctbllib_1.3.4-1.debian.tar.xz                  16-Jul-2022 14:30                5208
gap-ctbllib_1.3.4-1.dsc                            16-Jul-2022 14:30                1960
gap-ctbllib_1.3.4.orig.tar.xz                      16-Jul-2022 14:30             8540968