|
Up
|
|
|
|
|
matita-doc_0.5.7-2ubuntu2_all.deb
|
|
|
|
|
matita-doc_0.5.8-2build2_all.deb
|
|
|
|
|
matita-doc_0.5.8-3_all.deb
|
|
|
|
|
matita-doc_0.5.8-3build1_all.deb
|
|
|
|
|
matita-standard-library_0.4.98-5_all.deb
|
|
|
|
|
matita-standard-library_0.5.2-1_all.deb
|
|
|
|
|
matita-standard-library_0.5.3-1_all.deb
|
|
|
|
|
matita-standard-library_0.5.7-2ubuntu2_all.deb
|
|
|
|
|
matita_0.4.98-5.diff.gz
|
|
|
|
|
matita_0.4.98-5.dsc
|
|
|
|
|
matita_0.4.98-5_amd64.deb
|
|
|
|
|
matita_0.4.98-5_i386.deb
|
|
|
|
|
matita_0.4.98-5_ia64.deb
|
|
|
|
|
matita_0.4.98-5_powerpc.deb
|
|
|
|
|
matita_0.4.98-5_sparc.deb
|
|
|
|
|
matita_0.4.98.orig.tar.gz
|
|
|
|
|
matita_0.5.2-1.diff.gz
|
|
|
|
|
matita_0.5.2-1.dsc
|
|
|
|
|
matita_0.5.2-1_amd64.deb
|
|
|
|
|
matita_0.5.2-1_hppa.deb
|
|
|
|
|
matita_0.5.2-1_i386.deb
|
|
|
|
|
matita_0.5.2-1_ia64.deb
|
|
|
|
|
matita_0.5.2-1_powerpc.deb
|
|
|
|
|
matita_0.5.2-1_sparc.deb
|
|
|
|
|
matita_0.5.2.orig.tar.gz
|
|
|
|
|
matita_0.5.3-1.diff.gz
|
|
|
|
|
matita_0.5.3-1.dsc
|
|
|
|
|
matita_0.5.3-1_amd64.deb
|
|
|
|
|
matita_0.5.3-1_armel.deb
|
|
|
|
|
matita_0.5.3-1_hppa.deb
|
|
|
|
|
matita_0.5.3-1_i386.deb
|
|
|
|
|
matita_0.5.3-1_ia64.deb
|
|
|
|
|
matita_0.5.3-1_powerpc.deb
|
|
|
|
|
matita_0.5.3-1_sparc.deb
|
|
|
|
|
matita_0.5.3.orig.tar.gz
|
|
|
|
|
matita_0.5.7-2ubuntu2.diff.gz
|
|
|
|
|
matita_0.5.7-2ubuntu2.dsc
|
|
|
|
|
matita_0.5.7-2ubuntu2_amd64.deb
|
|
|
|
|
matita_0.5.7-2ubuntu2_armel.deb
|
|
|
|
|
matita_0.5.7-2ubuntu2_i386.deb
|
|
|
|
|
matita_0.5.7-2ubuntu2_ia64.deb
|
|
|
|
|
matita_0.5.7-2ubuntu2_lpia.deb
|
|
|
|
|
matita_0.5.7-2ubuntu2_powerpc.deb
|
|
|
|
|
matita_0.5.7-2ubuntu2_sparc.deb
|
|
|
|
|
matita_0.5.7.orig.tar.gz
|
|
|
|
|
matita_0.5.8-2build1_sparc.deb
|
|
|
|
|
matita_0.5.8-2build2.diff.gz
|
|
|
|
|
matita_0.5.8-2build2.dsc
|
|
|
|
|
matita_0.5.8-2build2_amd64.deb
|
|
|
|
|
matita_0.5.8-2build2_armel.deb
|
|
|
|
|
matita_0.5.8-2build2_i386.deb
|
|
|
|
|
matita_0.5.8-2build2_ia64.deb
|
|
|
|
|
matita_0.5.8-2build2_powerpc.deb
|
|
|
|
|
matita_0.5.8-3.debian.tar.gz
|
|
|
|
|
matita_0.5.8-3.dsc
|
|
|
|
|
matita_0.5.8-3_amd64.deb
|
|
|
|
|
matita_0.5.8-3_armel.deb
|
|
|
|
|
matita_0.5.8-3_i386.deb
|
|
|
|
|
matita_0.5.8-3_powerpc.deb
|
|
|
|
|
matita_0.5.8-3build1.debian.tar.gz
|
|
|
|
|
matita_0.5.8-3build1.dsc
|
|
|
|
|
matita_0.5.8-3build1_amd64.deb
|
|
|
|
|
matita_0.5.8-3build1_armel.deb
|
|
|
|
|
matita_0.5.8-3build1_armhf.deb
|
|
|
|
|
matita_0.5.8-3build1_i386.deb
|
|
|
|
|
matita_0.5.8-3build1_powerpc.deb
|
|
|
|
|
matita_0.5.8.orig.tar.gz
|
|
|
|
|
matita_0.99.1-1.debian.tar.gz
|
|
|
|
|
matita_0.99.1-1.dsc
|
|
|
|
|
matita_0.99.1-1_amd64.deb
|
|
|
|
|
matita_0.99.1-1_armel.deb
|
|
|
|
|
matita_0.99.1-1_armhf.deb
|
|
|
|
|
matita_0.99.1-1_i386.deb
|
|
|
|
|
matita_0.99.1-1_powerpc.deb
|
|
|
|
|
matita_0.99.1-3.debian.tar.gz
|
|
|
|
|
matita_0.99.1-3.dsc
|
|
|
|
|
matita_0.99.1-3_amd64.deb
|
|
|
|
|
matita_0.99.1-3_arm64.deb
|
|
|
|
|
matita_0.99.1-3_armhf.deb
|
|
|
|
|
matita_0.99.1-3_i386.deb
|
|
|
|
|
matita_0.99.1-3_powerpc.deb
|
|
|
|
|
matita_0.99.1-3_ppc64el.deb
|
|
|
|
|
matita_0.99.1.orig.tar.gz
|
|
|
|
|
matita_0.99.3-1.debian.tar.xz
|
|
|
|
|
matita_0.99.3-1.dsc
|
|
|
|
|
matita_0.99.3-1_amd64.deb
|
|
|
|
|
matita_0.99.3-1_arm64.deb
|
|
|
|
|
matita_0.99.3-1_armhf.deb
|
|
|
|
|
matita_0.99.3-1_i386.deb
|
|
|
|
|
matita_0.99.3-1_ppc64el.deb
|
|
|
|
|
matita_0.99.3-1_s390x.deb
|
|
|
|
|
matita_0.99.3.orig.tar.gz
|
|
|
|