Studenten Net Twente Mirror service

Index of /pub/os/linux/ubuntu/pool/universe/m/mathcomp-algebra-tactics/

Filename Modification time Size
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_amd64.deb 589 KiB
libcoq-mathcomp-algebra-tactics_1.2.3-4build6_amd64.deb 602 KiB
libcoq-mathcomp-algebra-tactics_1.2.3-4build9_amd64.deb 864 KiB
libcoq-mathcomp-algebra-tactics_1.2.3-4build12_amd64.deb 864 KiB
libcoq-mathcomp-algebra-tactics_1.2.3-4build13_amd64.deb 864 KiB
libcoq-mathcomp-algebra-tactics_1.2.4-1_amd64.deb 882 KiB
mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz 9104 B
mathcomp-algebra-tactics_1.2.3-1build5.dsc 2360 B
mathcomp-algebra-tactics_1.2.3-4build6.debian.tar.xz 9168 B
mathcomp-algebra-tactics_1.2.3-4build6.dsc 2281 B
mathcomp-algebra-tactics_1.2.3-4build9.debian.tar.xz 9268 B
mathcomp-algebra-tactics_1.2.3-4build9.dsc 2281 B
mathcomp-algebra-tactics_1.2.3-4build12.debian.tar.xz 9308 B
mathcomp-algebra-tactics_1.2.3-4build12.dsc 2285 B
mathcomp-algebra-tactics_1.2.3-4build13.debian.tar.xz 9324 B
mathcomp-algebra-tactics_1.2.3-4build13.dsc 2285 B
mathcomp-algebra-tactics_1.2.3.orig.tar.gz 57 KiB
mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz 9004 B
mathcomp-algebra-tactics_1.2.4-1.dsc 2294 B
mathcomp-algebra-tactics_1.2.4.orig.tar.gz 58 KiB