Studenten Net Twente Mirror service

Index of /debian-archive/debian/pool/main/m/matita/

Filename Modification time Size
matita-doc_0.5.8-2_all.deb 1631 KiB
matita-standard-library_0.5.3-1_all.deb 12 MiB
matita_0.5.3-1.diff.gz 4407 B
matita_0.5.3-1.dsc 1660 B
matita_0.5.3-1_alpha.deb 10 MiB
matita_0.5.3-1_amd64.deb 3542 KiB
matita_0.5.3-1_arm.deb 10 MiB
matita_0.5.3-1_armel.deb 10 MiB
matita_0.5.3-1_hppa.deb 10 MiB
matita_0.5.3-1_i386.deb 3217 KiB
matita_0.5.3-1_ia64.deb 10 MiB
matita_0.5.3-1_mips.deb 10 MiB
matita_0.5.3-1_mipsel.deb 10 MiB
matita_0.5.3-1_powerpc.deb 3875 KiB
matita_0.5.3-1_s390.deb 10 MiB
matita_0.5.3-1_sparc.deb 3909 KiB
matita_0.5.3.orig.tar.gz 1888 KiB
matita_0.5.8-2+b1_amd64.deb 5950 KiB
matita_0.5.8-2+b1_i386.deb 4938 KiB
matita_0.5.8-2+b1_kfreebsd-amd64.deb 5948 KiB
matita_0.5.8-2+b1_kfreebsd-i386.deb 4938 KiB
matita_0.5.8-2+b1_powerpc.deb 5732 KiB
matita_0.5.8-2+b1_sparc.deb 5816 KiB
matita_0.5.8-2+b2_armel.deb 15 MiB
matita_0.5.8-2+b2_ia64.deb 15 MiB
matita_0.5.8-2+b2_mips.deb 15 MiB
matita_0.5.8-2+b2_mipsel.deb 15 MiB
matita_0.5.8-2+b2_s390.deb 15 MiB
matita_0.5.8-2.diff.gz 5266 B
matita_0.5.8-2.dsc 1721 B
matita_0.5.8.orig.tar.gz 5741 KiB
matita_0.99.1-1.debian.tar.gz 4364 B
matita_0.99.1-1.dsc 1542 B
matita_0.99.1-1_amd64.deb 4002 KiB
matita_0.99.1-1_armel.deb 3772 KiB
matita_0.99.1-1_armhf.deb 9159 KiB
matita_0.99.1-1_i386.deb 3372 KiB
matita_0.99.1-1_ia64.deb 9156 KiB
matita_0.99.1-1_kfreebsd-amd64.deb 4003 KiB
matita_0.99.1-1_kfreebsd-i386.deb 3372 KiB
matita_0.99.1-1_mips.deb 9157 KiB
matita_0.99.1-1_mipsel.deb 9159 KiB
matita_0.99.1-1_powerpc.deb 3843 KiB
matita_0.99.1-1_s390.deb 9153 KiB
matita_0.99.1-1_s390x.deb 9153 KiB
matita_0.99.1-1_sparc.deb 3853 KiB
matita_0.99.1-3.debian.tar.gz 4848 B
matita_0.99.1-3.dsc 1542 B
matita_0.99.1-3_amd64.deb 2612 KiB
matita_0.99.1-3_arm64.deb 7118 KiB
matita_0.99.1-3_armel.deb 2559 KiB
matita_0.99.1-3_armhf.deb 2589 KiB
matita_0.99.1-3_i386.deb 2476 KiB
matita_0.99.1-3_kfreebsd-amd64.deb 2606 KiB
matita_0.99.1-3_kfreebsd-i386.deb 2477 KiB
matita_0.99.1-3_mips.deb 7131 KiB
matita_0.99.1-3_mipsel.deb 7124 KiB
matita_0.99.1-3_powerpc.deb 2318 KiB
matita_0.99.1-3_ppc64el.deb 7132 KiB
matita_0.99.1-3_s390x.deb 7131 KiB
matita_0.99.1.orig.tar.gz 10 MiB
matita_0.99.3-1+b1_amd64.deb 3375 KiB
matita_0.99.3-1+b1_arm64.deb 3388 KiB
matita_0.99.3-1+b1_armel.deb 3314 KiB
matita_0.99.3-1+b1_armhf.deb 3387 KiB
matita_0.99.3-1+b1_i386.deb 3193 KiB
matita_0.99.3-1+b1_mips.deb 8583 KiB
matita_0.99.3-1+b1_mips64el.deb 8587 KiB
matita_0.99.3-1+b1_mipsel.deb 8582 KiB
matita_0.99.3-1+b1_ppc64el.deb 8596 KiB
matita_0.99.3-1+b1_s390x.deb 8582 KiB
matita_0.99.3-1.debian.tar.xz 4296 B
matita_0.99.3-1.dsc 2167 B
matita_0.99.3.orig.tar.gz 3072 KiB