|
Up
|
|
|
|
|
coq-libs_8.0pl1-5_amd64.deb
|
|
|
|
|
coq-libs_8.0pl1-5_i386.deb
|
|
|
|
|
coq-libs_8.0pl1-5_ia64.deb
|
|
|
|
|
coq-libs_8.0pl1-5_powerpc.deb
|
|
|
|
|
coq-libs_8.0pl1-5_sparc.deb
|
|
|
|
|
coq-libs_8.0pl2-2_all.deb
|
|
|
|
|
coq-libs_8.0pl2-4_all.deb
|
|
|
|
|
coq-libs_8.0pl3-2_all.deb
|
|
|
|
|
coq-libs_8.0pl3-2ubuntu1_all.deb
|
|
|
|
|
coq-libs_8.1+dfsg-6_all.deb
|
|
|
|
|
coq-libs_8.1.pl3+dfsg-1_all.deb
|
|
|
|
|
coq-libs_8.1.pl3+dfsg-1build1_all.deb
|
|
|
|
|
coq-theories_8.12.0-3build1_amd64.deb
|
|
|
|
|
coq-theories_8.12.0-3build1_arm64.deb
|
|
|
|
|
coq-theories_8.12.0-3build1_armhf.deb
|
|
|
|
|
coq-theories_8.12.0-3build1_ppc64el.deb
|
|
|
|
|
coq-theories_8.12.0-3build1_riscv64.deb
|
|
|
|
|
coq-theories_8.12.0-3build3_amd64.deb
|
|
|
|
|
coq-theories_8.12.0-3build3_arm64.deb
|
|
|
|
|
coq-theories_8.12.0-3build3_armhf.deb
|
|
|
|
|
coq-theories_8.12.0-3build3_ppc64el.deb
|
|
|
|
|
coq-theories_8.12.0-3build3_riscv64.deb
|
|
|
|
|
coq-theories_8.2.pl1+dfsg-2_all.deb
|
|
|
|
|
coq-theories_8.2.pl1+dfsg-6_all.deb
|
|
|
|
|
coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb
|
|
|
|
|
coq-theories_8.3.pl2+dfsg-1build1_all.deb
|
|
|
|
|
coq-theories_8.3.pl4+dfsg-1_all.deb
|
|
|
|
|
coq-theories_8.3.pl4+dfsg-2_all.deb
|
|
|
|
|
coq-theories_8.4pl2dfsg-1_all.deb
|
|
|
|
|
coq-theories_8.4pl4dfsg-1_all.deb
|
|
|
|
|
coq-theories_8.5-2build1_amd64.deb
|
|
|
|
|
coq-theories_8.5-2build1_arm64.deb
|
|
|
|
|
coq-theories_8.5-2build1_armhf.deb
|
|
|
|
|
coq-theories_8.5-2build1_i386.deb
|
|
|
|
|
coq-theories_8.5-2build1_powerpc.deb
|
|
|
|
|
coq-theories_8.5-2build1_ppc64el.deb
|
|
|
|
|
coq-theories_8.5-2build1_s390x.deb
|
|
|
|
|
coq-theories_8.6-4_amd64.deb
|
|
|
|
|
coq-theories_8.6-4_arm64.deb
|
|
|
|
|
coq-theories_8.6-4_armhf.deb
|
|
|
|
|
coq-theories_8.6-4_i386.deb
|
|
|
|
|
coq-theories_8.6-4_ppc64el.deb
|
|
|
|
|
coq-theories_8.6-4_s390x.deb
|
|
|
|
|
coq-theories_8.6-4build3_amd64.deb
|
|
|
|
|
coq-theories_8.6-4build3_armhf.deb
|
|
|
|
|
coq-theories_8.6-4build3_i386.deb
|
|
|
|
|
coq-theories_8.6-4build3_ppc64el.deb
|
|
|
|
|
coq-theories_8.6-4build3_s390x.deb
|
|
|
|
|
coq-theories_8.6-5build1_amd64.deb
|
|
|
|
|
coq-theories_8.6-5build1_arm64.deb
|
|
|
|
|
coq-theories_8.6-5build1_armhf.deb
|
|
|
|
|
coq-theories_8.6-5build1_i386.deb
|
|
|
|
|
coq-theories_8.6-5build1_ppc64el.deb
|
|
|
|
|
coq-theories_8.6-5build1_s390x.deb
|
|
|
|
|
coq-theories_8.9.1-1_amd64.deb
|
|
|
|
|
coq-theories_8.9.1-1_arm64.deb
|
|
|
|
|
coq-theories_8.9.1-1_armhf.deb
|
|
|
|
|
coq-theories_8.9.1-1_i386.deb
|
|
|
|
|
coq-theories_8.9.1-1_ppc64el.deb
|
|
|
|
|
coq-theories_8.9.1-1_s390x.deb
|
|
|
|
|
coq7-libs_8.0pl1-5_amd64.deb
|
|
|
|
|
coq7-libs_8.0pl1-5_i386.deb
|
|
|
|
|
coq7-libs_8.0pl1-5_ia64.deb
|
|
|
|
|
coq7-libs_8.0pl1-5_powerpc.deb
|
|
|
|
|
coq7-libs_8.0pl1-5_sparc.deb
|
|
|
|
|
coq7-libs_8.0pl2-2_all.deb
|
|
|
|
|
coq7-libs_8.0pl2-4_all.deb
|
|
|
|
|
coq7-libs_8.0pl3-2_all.deb
|
|
|
|
|
coq7-libs_8.0pl3-2ubuntu1_all.deb
|
|
|
|
|
coq_7.3.1-3.diff.gz
|
|
|
|
|
coq_7.3.1-3.dsc
|
|
|
|
|
coq_7.3.1-3_amd64.deb
|
|
|
|
|
coq_7.3.1-3_i386.deb
|
|
|
|
|
coq_7.3.1-3_powerpc.deb
|
|
|
|
|
coq_7.3.1.orig.tar.gz
|
|
|
|
|
coq_8.0pl1-5.diff.gz
|
|
|
|
|
coq_8.0pl1-5.dsc
|
|
|
|
|
coq_8.0pl1-5_amd64.deb
|
|
|
|
|
coq_8.0pl1-5_i386.deb
|
|
|
|
|
coq_8.0pl1-5_ia64.deb
|
|
|
|
|
coq_8.0pl1-5_powerpc.deb
|
|
|
|
|
coq_8.0pl1-5_sparc.deb
|
|
|
|
|
coq_8.0pl1.orig.tar.gz
|
|
|
|
|
coq_8.0pl2-2.diff.gz
|
|
|
|
|
coq_8.0pl2-2.dsc
|
|
|
|
|
coq_8.0pl2-2_amd64.deb
|
|
|
|
|
coq_8.0pl2-2_i386.deb
|
|
|
|
|
coq_8.0pl2-2_ia64.deb
|
|
|
|
|
coq_8.0pl2-2_powerpc.deb
|
|
|
|
|
coq_8.0pl2-2_sparc.deb
|
|
|
|
|
coq_8.0pl2-4.diff.gz
|
|
|
|
|
coq_8.0pl2-4.dsc
|
|
|
|
|
coq_8.0pl2-4_amd64.deb
|
|
|
|
|
coq_8.0pl2-4_hppa.deb
|
|
|
|
|
coq_8.0pl2-4_i386.deb
|
|
|
|
|
coq_8.0pl2-4_ia64.deb
|
|
|
|
|
coq_8.0pl2-4_powerpc.deb
|
|
|
|
|
coq_8.0pl2-4_sparc.deb
|
|
|
|
|
coq_8.0pl2.orig.tar.gz
|
|
|
|
|
coq_8.0pl3-2.diff.gz
|
|
|
|
|
coq_8.0pl3-2.dsc
|
|
|
|
|
coq_8.0pl3-2_amd64.deb
|
|
|
|
|
coq_8.0pl3-2_i386.deb
|
|
|
|
|
coq_8.0pl3-2_ia64.deb
|
|
|
|
|
coq_8.0pl3-2_powerpc.deb
|
|
|
|
|
coq_8.0pl3-2_sparc.deb
|
|
|
|
|
coq_8.0pl3-2ubuntu1.diff.gz
|
|
|
|
|
coq_8.0pl3-2ubuntu1.dsc
|
|
|
|
|
coq_8.0pl3-2ubuntu1_amd64.deb
|
|
|
|
|
coq_8.0pl3-2ubuntu1_i386.deb
|
|
|
|
|
coq_8.0pl3-2ubuntu1_ia64.deb
|
|
|
|
|
coq_8.0pl3-2ubuntu1_powerpc.deb
|
|
|
|
|
coq_8.0pl3-2ubuntu1_sparc.deb
|
|
|
|
|
coq_8.0pl3.orig.tar.gz
|
|
|
|
|
coq_8.1+dfsg-6.diff.gz
|
|
|
|
|
coq_8.1+dfsg-6.dsc
|
|
|
|
|
coq_8.1+dfsg-6_amd64.deb
|
|
|
|
|
coq_8.1+dfsg-6_i386.deb
|
|
|
|
|
coq_8.1+dfsg-6_ia64.deb
|
|
|
|
|
coq_8.1+dfsg-6_lpia.deb
|
|
|
|
|
coq_8.1+dfsg-6_powerpc.deb
|
|
|
|
|
coq_8.1+dfsg-6_sparc.deb
|
|
|
|
|
coq_8.1+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.1.pl3+dfsg-1.diff.gz
|
|
|
|
|
coq_8.1.pl3+dfsg-1.dsc
|
|
|
|
|
coq_8.1.pl3+dfsg-1_amd64.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1_hppa.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1_i386.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1_ia64.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1_lpia.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1_powerpc.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1_sparc.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1.diff.gz
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1.dsc
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1_amd64.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1_armel.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1_hppa.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1_i386.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1_ia64.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1_lpia.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1_powerpc.deb
|
|
|
|
|
coq_8.1.pl3+dfsg-1build1_sparc.deb
|
|
|
|
|
coq_8.1.pl3+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.12.0-3build1.debian.tar.xz
|
|
|
|
|
coq_8.12.0-3build1.dsc
|
|
|
|
|
coq_8.12.0-3build1_amd64.deb
|
|
|
|
|
coq_8.12.0-3build1_arm64.deb
|
|
|
|
|
coq_8.12.0-3build1_armhf.deb
|
|
|
|
|
coq_8.12.0-3build1_ppc64el.deb
|
|
|
|
|
coq_8.12.0-3build1_riscv64.deb
|
|
|
|
|
coq_8.12.0-3build3.debian.tar.xz
|
|
|
|
|
coq_8.12.0-3build3.dsc
|
|
|
|
|
coq_8.12.0-3build3_amd64.deb
|
|
|
|
|
coq_8.12.0-3build3_arm64.deb
|
|
|
|
|
coq_8.12.0-3build3_armhf.deb
|
|
|
|
|
coq_8.12.0-3build3_ppc64el.deb
|
|
|
|
|
coq_8.12.0-3build3_riscv64.deb
|
|
|
|
|
coq_8.12.0.orig.tar.gz
|
|
|
|
|
coq_8.15.2+dfsg-2.debian.tar.xz
|
|
|
|
|
coq_8.15.2+dfsg-2.dsc
|
|
|
|
|
coq_8.15.2+dfsg-2_amd64.deb
|
|
|
|
|
coq_8.15.2+dfsg-2_arm64.deb
|
|
|
|
|
coq_8.15.2+dfsg-2_armhf.deb
|
|
|
|
|
coq_8.15.2+dfsg-2_ppc64el.deb
|
|
|
|
|
coq_8.15.2+dfsg-2_riscv64.deb
|
|
|
|
|
coq_8.15.2+dfsg-2_s390x.deb
|
|
|
|
|
coq_8.15.2+dfsg.orig.tar.xz
|
|
|
|
|
coq_8.17.0+dfsg-1build1.debian.tar.xz
|
|
|
|
|
coq_8.17.0+dfsg-1build1.dsc
|
|
|
|
|
coq_8.17.0+dfsg-1build1_amd64.deb
|
|
|
|
|
coq_8.17.0+dfsg-1build1_arm64.deb
|
|
|
|
|
coq_8.17.0+dfsg-1build1_armhf.deb
|
|
|
|
|
coq_8.17.0+dfsg-1build1_ppc64el.deb
|
|
|
|
|
coq_8.17.0+dfsg-1build1_riscv64.deb
|
|
|
|
|
coq_8.17.0+dfsg-1build1_s390x.deb
|
|
|
|
|
coq_8.17.0+dfsg.orig.tar.xz
|
|
|
|
|
coq_8.2.pl1+dfsg-2.diff.gz
|
|
|
|
|
coq_8.2.pl1+dfsg-2.dsc
|
|
|
|
|
coq_8.2.pl1+dfsg-2_amd64.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-2_armel.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-2_i386.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-2_ia64.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-2_lpia.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-2_powerpc.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-2_sparc.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-3_armel.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-6.diff.gz
|
|
|
|
|
coq_8.2.pl1+dfsg-6.dsc
|
|
|
|
|
coq_8.2.pl1+dfsg-6_amd64.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-6_i386.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-6_ia64.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-6_powerpc.deb
|
|
|
|
|
coq_8.2.pl1+dfsg-6_sparc.deb
|
|
|
|
|
coq_8.2.pl1+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz
|
|
|
|
|
coq_8.2.pl2+dfsg-1ubuntu1.dsc
|
|
|
|
|
coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb
|
|
|
|
|
coq_8.2.pl2+dfsg-1ubuntu1_armel.deb
|
|
|
|
|
coq_8.2.pl2+dfsg-1ubuntu1_i386.deb
|
|
|
|
|
coq_8.2.pl2+dfsg-1ubuntu1_powerpc.deb
|
|
|
|
|
coq_8.2.pl2+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.3.pl2+dfsg-1build1.debian.tar.gz
|
|
|
|
|
coq_8.3.pl2+dfsg-1build1.dsc
|
|
|
|
|
coq_8.3.pl2+dfsg-1build1_amd64.deb
|
|
|
|
|
coq_8.3.pl2+dfsg-1build1_armel.deb
|
|
|
|
|
coq_8.3.pl2+dfsg-1build1_i386.deb
|
|
|
|
|
coq_8.3.pl2+dfsg-1build1_powerpc.deb
|
|
|
|
|
coq_8.3.pl2+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.3.pl4+dfsg-1.debian.tar.gz
|
|
|
|
|
coq_8.3.pl4+dfsg-1.dsc
|
|
|
|
|
coq_8.3.pl4+dfsg-1_amd64.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-1_armel.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-1_i386.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-1_powerpc.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-2.debian.tar.gz
|
|
|
|
|
coq_8.3.pl4+dfsg-2.dsc
|
|
|
|
|
coq_8.3.pl4+dfsg-2_amd64.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-2_armel.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-2_i386.deb
|
|
|
|
|
coq_8.3.pl4+dfsg-2_powerpc.deb
|
|
|
|
|
coq_8.3.pl4+dfsg.orig.tar.gz
|
|
|
|
|
coq_8.4pl2dfsg-1.debian.tar.gz
|
|
|
|
|
coq_8.4pl2dfsg-1.dsc
|
|
|
|
|
coq_8.4pl2dfsg-1_amd64.deb
|
|
|
|
|
coq_8.4pl2dfsg-1_i386.deb
|
|
|
|
|
coq_8.4pl2dfsg-1_powerpc.deb
|
|
|
|
|
coq_8.4pl2dfsg.orig.tar.gz
|
|
|
|
|
coq_8.4pl4dfsg-1.debian.tar.xz
|
|
|
|
|
coq_8.4pl4dfsg-1.dsc
|
|
|
|
|
coq_8.4pl4dfsg-1_amd64.deb
|
|
|
|
|
coq_8.4pl4dfsg-1_arm64.deb
|
|
|
|
|
coq_8.4pl4dfsg-1_armhf.deb
|
|
|
|
|
coq_8.4pl4dfsg-1_i386.deb
|
|
|
|
|
coq_8.4pl4dfsg-1_powerpc.deb
|
|
|
|
|
coq_8.4pl4dfsg-1_ppc64el.deb
|
|
|
|
|
coq_8.4pl4dfsg.orig.tar.gz
|
|
|
|
|
coq_8.5-2build1.debian.tar.xz
|
|
|
|
|
coq_8.5-2build1.dsc
|
|
|
|
|
coq_8.5-2build1_amd64.deb
|
|
|
|
|
coq_8.5-2build1_arm64.deb
|
|
|
|
|
coq_8.5-2build1_armhf.deb
|
|
|
|
|
coq_8.5-2build1_i386.deb
|
|
|
|
|
coq_8.5-2build1_powerpc.deb
|
|
|
|
|
coq_8.5-2build1_ppc64el.deb
|
|
|
|
|
coq_8.5-2build1_s390x.deb
|
|
|
|
|
coq_8.5.orig.tar.gz
|
|
|
|
|
coq_8.6-4.debian.tar.xz
|
|
|
|
|
coq_8.6-4.dsc
|
|
|
|
|
coq_8.6-4_amd64.deb
|
|
|
|
|
coq_8.6-4_arm64.deb
|
|
|
|
|
coq_8.6-4_armhf.deb
|
|
|
|
|
coq_8.6-4_i386.deb
|
|
|
|
|
coq_8.6-4_ppc64el.deb
|
|
|
|
|
coq_8.6-4_s390x.deb
|
|
|
|
|
coq_8.6-4build3.debian.tar.xz
|
|
|
|
|
coq_8.6-4build3.dsc
|
|
|
|
|
coq_8.6-4build3_amd64.deb
|
|
|
|
|
coq_8.6-4build3_armhf.deb
|
|
|
|
|
coq_8.6-4build3_i386.deb
|
|
|
|
|
coq_8.6-4build3_ppc64el.deb
|
|
|
|
|
coq_8.6-4build3_s390x.deb
|
|
|
|
|
coq_8.6-5build1.debian.tar.xz
|
|
|
|
|
coq_8.6-5build1.dsc
|
|
|
|
|
coq_8.6-5build1_amd64.deb
|
|
|
|
|
coq_8.6-5build1_arm64.deb
|
|
|
|
|
coq_8.6-5build1_armhf.deb
|
|
|
|
|
coq_8.6-5build1_i386.deb
|
|
|
|
|
coq_8.6-5build1_ppc64el.deb
|
|
|
|
|
coq_8.6-5build1_s390x.deb
|
|
|
|
|
coq_8.6.orig.tar.gz
|
|
|
|
|
coq_8.9.1-1.debian.tar.xz
|
|
|
|
|
coq_8.9.1-1.dsc
|
|
|
|
|
coq_8.9.1-1_amd64.deb
|
|
|
|
|
coq_8.9.1-1_arm64.deb
|
|
|
|
|
coq_8.9.1-1_armhf.deb
|
|
|
|
|
coq_8.9.1-1_i386.deb
|
|
|
|
|
coq_8.9.1-1_ppc64el.deb
|
|
|
|
|
coq_8.9.1-1_s390x.deb
|
|
|
|
|
coq_8.9.1.orig.tar.gz
|
|
|
|
|
coqide_8.0pl1-5_amd64.deb
|
|
|
|
|
coqide_8.0pl1-5_i386.deb
|
|
|
|
|
coqide_8.0pl1-5_ia64.deb
|
|
|
|
|
coqide_8.0pl1-5_powerpc.deb
|
|
|
|
|
coqide_8.0pl1-5_sparc.deb
|
|
|
|
|
coqide_8.0pl2-2_amd64.deb
|
|
|
|
|
coqide_8.0pl2-2_i386.deb
|
|
|
|
|
coqide_8.0pl2-2_ia64.deb
|
|
|
|
|
coqide_8.0pl2-2_powerpc.deb
|
|
|
|
|
coqide_8.0pl2-2_sparc.deb
|
|
|
|
|
coqide_8.0pl2-4_amd64.deb
|
|
|
|
|
coqide_8.0pl2-4_hppa.deb
|
|
|
|
|
coqide_8.0pl2-4_i386.deb
|
|
|
|
|
coqide_8.0pl2-4_ia64.deb
|
|
|
|
|
coqide_8.0pl2-4_powerpc.deb
|
|
|
|
|
coqide_8.0pl2-4_sparc.deb
|
|
|
|
|
coqide_8.0pl3-2_amd64.deb
|
|
|
|
|
coqide_8.0pl3-2_i386.deb
|
|
|
|
|
coqide_8.0pl3-2_ia64.deb
|
|
|
|
|
coqide_8.0pl3-2_powerpc.deb
|
|
|
|
|
coqide_8.0pl3-2_sparc.deb
|
|
|
|
|
coqide_8.0pl3-2ubuntu1_amd64.deb
|
|
|
|
|
coqide_8.0pl3-2ubuntu1_i386.deb
|
|
|
|
|
coqide_8.0pl3-2ubuntu1_ia64.deb
|
|
|
|
|
coqide_8.0pl3-2ubuntu1_powerpc.deb
|
|
|
|
|
coqide_8.0pl3-2ubuntu1_sparc.deb
|
|
|
|
|
coqide_8.1+dfsg-6_amd64.deb
|
|
|
|
|
coqide_8.1+dfsg-6_i386.deb
|
|
|
|
|
coqide_8.1+dfsg-6_ia64.deb
|
|
|
|
|
coqide_8.1+dfsg-6_lpia.deb
|
|
|
|
|
coqide_8.1+dfsg-6_powerpc.deb
|
|
|
|
|
coqide_8.1+dfsg-6_sparc.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1_amd64.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1_hppa.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1_i386.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1_ia64.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1_lpia.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1_powerpc.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1_sparc.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1build1_amd64.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1build1_armel.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1build1_hppa.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1build1_i386.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1build1_ia64.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1build1_lpia.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1build1_powerpc.deb
|
|
|
|
|
coqide_8.1.pl3+dfsg-1build1_sparc.deb
|
|
|
|
|
coqide_8.12.0-3build1_amd64.deb
|
|
|
|
|
coqide_8.12.0-3build1_arm64.deb
|
|
|
|
|
coqide_8.12.0-3build1_armhf.deb
|
|
|
|
|
coqide_8.12.0-3build1_ppc64el.deb
|
|
|
|
|
coqide_8.12.0-3build1_riscv64.deb
|
|
|
|
|
coqide_8.12.0-3build3_amd64.deb
|
|
|
|
|
coqide_8.12.0-3build3_arm64.deb
|
|
|
|
|
coqide_8.12.0-3build3_armhf.deb
|
|
|
|
|
coqide_8.12.0-3build3_ppc64el.deb
|
|
|
|
|
coqide_8.12.0-3build3_riscv64.deb
|
|
|
|
|
coqide_8.15.2+dfsg-2_amd64.deb
|
|
|
|
|
coqide_8.15.2+dfsg-2_arm64.deb
|
|
|
|
|
coqide_8.15.2+dfsg-2_armhf.deb
|
|
|
|
|
coqide_8.15.2+dfsg-2_ppc64el.deb
|
|
|
|
|
coqide_8.15.2+dfsg-2_riscv64.deb
|
|
|
|
|
coqide_8.15.2+dfsg-2_s390x.deb
|
|
|
|
|
coqide_8.17.0+dfsg-1build1_amd64.deb
|
|
|
|
|
coqide_8.17.0+dfsg-1build1_arm64.deb
|
|
|
|
|
coqide_8.17.0+dfsg-1build1_armhf.deb
|
|
|
|
|
coqide_8.17.0+dfsg-1build1_ppc64el.deb
|
|
|
|
|
coqide_8.17.0+dfsg-1build1_riscv64.deb
|
|
|
|
|
coqide_8.17.0+dfsg-1build1_s390x.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-2_amd64.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-2_armel.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-2_i386.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-2_ia64.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-2_lpia.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-2_powerpc.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-2_sparc.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-3_armel.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-6_amd64.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-6_i386.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-6_ia64.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-6_powerpc.deb
|
|
|
|
|
coqide_8.2.pl1+dfsg-6_sparc.deb
|
|
|
|
|
coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb
|
|
|
|
|
coqide_8.2.pl2+dfsg-1ubuntu1_armel.deb
|
|
|
|
|
coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb
|
|
|
|
|
coqide_8.2.pl2+dfsg-1ubuntu1_powerpc.deb
|
|
|
|
|
coqide_8.3.pl2+dfsg-1build1_amd64.deb
|
|
|
|
|
coqide_8.3.pl2+dfsg-1build1_armel.deb
|
|
|
|
|
coqide_8.3.pl2+dfsg-1build1_i386.deb
|
|
|
|
|
coqide_8.3.pl2+dfsg-1build1_powerpc.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-1_amd64.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-1_armel.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-1_i386.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-1_powerpc.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-2_amd64.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-2_armel.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-2_i386.deb
|
|
|
|
|
coqide_8.3.pl4+dfsg-2_powerpc.deb
|
|
|
|
|
coqide_8.4pl2dfsg-1_amd64.deb
|
|
|
|
|
coqide_8.4pl2dfsg-1_i386.deb
|
|
|
|
|
coqide_8.4pl2dfsg-1_powerpc.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_amd64.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_arm64.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_armhf.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_i386.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_powerpc.deb
|
|
|
|
|
coqide_8.4pl4dfsg-1_ppc64el.deb
|
|
|
|
|
coqide_8.5-2build1_amd64.deb
|
|
|
|
|
coqide_8.5-2build1_arm64.deb
|
|
|
|
|
coqide_8.5-2build1_armhf.deb
|
|
|
|
|
coqide_8.5-2build1_i386.deb
|
|
|
|
|
coqide_8.5-2build1_powerpc.deb
|
|
|
|
|
coqide_8.5-2build1_ppc64el.deb
|
|
|
|
|
coqide_8.5-2build1_s390x.deb
|
|
|
|
|
coqide_8.6-4_amd64.deb
|
|
|
|
|
coqide_8.6-4_arm64.deb
|
|
|
|
|
coqide_8.6-4_armhf.deb
|
|
|
|
|
coqide_8.6-4_i386.deb
|
|
|
|
|
coqide_8.6-4_ppc64el.deb
|
|
|
|
|
coqide_8.6-4_s390x.deb
|
|
|
|
|
coqide_8.6-4build3_amd64.deb
|
|
|
|
|
coqide_8.6-4build3_armhf.deb
|
|
|
|
|
coqide_8.6-4build3_i386.deb
|
|
|
|
|
coqide_8.6-4build3_ppc64el.deb
|
|
|
|
|
coqide_8.6-4build3_s390x.deb
|
|
|
|
|
coqide_8.6-5build1_amd64.deb
|
|
|
|
|
coqide_8.6-5build1_arm64.deb
|
|
|
|
|
coqide_8.6-5build1_armhf.deb
|
|
|
|
|
coqide_8.6-5build1_i386.deb
|
|
|
|
|
coqide_8.6-5build1_ppc64el.deb
|
|
|
|
|
coqide_8.6-5build1_s390x.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.15.2+dfsg-2_arm64.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.15.2+dfsg-2_ppc64el.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.15.2+dfsg-2_riscv64.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.15.2+dfsg-2_s390x.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_arm64.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_armhf.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_ppc64el.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_riscv64.deb
|
|
|
|
|
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_s390x.deb
|
|
|
|
|
libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb
|
|
|
|
|
libcoq-core-ocaml_8.15.2+dfsg-2_arm64.deb
|
|
|
|
|
libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb
|
|
|
|
|
libcoq-core-ocaml_8.15.2+dfsg-2_ppc64el.deb
|
|
|
|
|
libcoq-core-ocaml_8.15.2+dfsg-2_riscv64.deb
|
|
|
|
|
libcoq-core-ocaml_8.15.2+dfsg-2_s390x.deb
|
|
|
|
|
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb
|
|
|
|
|
libcoq-core-ocaml_8.17.0+dfsg-1build1_arm64.deb
|
|
|
|
|
libcoq-core-ocaml_8.17.0+dfsg-1build1_armhf.deb
|
|
|
|
|
libcoq-core-ocaml_8.17.0+dfsg-1build1_ppc64el.deb
|
|
|
|
|
libcoq-core-ocaml_8.17.0+dfsg-1build1_riscv64.deb
|
|
|
|
|
libcoq-core-ocaml_8.17.0+dfsg-1build1_s390x.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build1_arm64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build1_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build1_riscv64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build3_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build3_arm64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build3_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build3_ppc64el.deb
|
|
|
|
|
libcoq-ocaml-dev_8.12.0-3build3_riscv64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-2_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-2_ia64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-2_lpia.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-2_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-2_sparc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-3_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-6_ia64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-6_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-1_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-1_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl2dfsg-1_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml-dev_8.5-2build1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.5-2build1_arm64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.5-2build1_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.5-2build1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.5-2build1_powerpc.deb
|
|
|
|
|
libcoq-ocaml-dev_8.5-2build1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml-dev_8.5-2build1_s390x.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_arm64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_ppc64el.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4_s390x.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4build3_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4build3_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4build3_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4build3_ppc64el.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-4build3_s390x.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-5build1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-5build1_arm64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-5build1_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-5build1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml-dev_8.6-5build1_s390x.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.1-1_amd64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.1-1_arm64.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.1-1_armhf.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.1-1_i386.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.1-1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml-dev_8.9.1-1_s390x.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build1_arm64.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build1_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build1_riscv64.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build3_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build3_arm64.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build3_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build3_ppc64el.deb
|
|
|
|
|
libcoq-ocaml_8.12.0-3build3_riscv64.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl2+dfsg-1build1_armel.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl2+dfsg-1build1_powerpc.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-1_armel.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-1_powerpc.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb
|
|
|
|
|
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb
|
|
|
|
|
libcoq-ocaml_8.4pl2dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.4pl2dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.4pl2dfsg-1_powerpc.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb
|
|
|
|
|
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml_8.5-2build1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.5-2build1_arm64.deb
|
|
|
|
|
libcoq-ocaml_8.5-2build1_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.5-2build1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.5-2build1_powerpc.deb
|
|
|
|
|
libcoq-ocaml_8.5-2build1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml_8.5-2build1_s390x.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_arm64.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_i386.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_ppc64el.deb
|
|
|
|
|
libcoq-ocaml_8.6-4_s390x.deb
|
|
|
|
|
libcoq-ocaml_8.6-4build3_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.6-4build3_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.6-4build3_i386.deb
|
|
|
|
|
libcoq-ocaml_8.6-4build3_ppc64el.deb
|
|
|
|
|
libcoq-ocaml_8.6-4build3_s390x.deb
|
|
|
|
|
libcoq-ocaml_8.6-5build1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.6-5build1_arm64.deb
|
|
|
|
|
libcoq-ocaml_8.6-5build1_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.6-5build1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.6-5build1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml_8.6-5build1_s390x.deb
|
|
|
|
|
libcoq-ocaml_8.9.1-1_amd64.deb
|
|
|
|
|
libcoq-ocaml_8.9.1-1_arm64.deb
|
|
|
|
|
libcoq-ocaml_8.9.1-1_armhf.deb
|
|
|
|
|
libcoq-ocaml_8.9.1-1_i386.deb
|
|
|
|
|
libcoq-ocaml_8.9.1-1_ppc64el.deb
|
|
|
|
|
libcoq-ocaml_8.9.1-1_s390x.deb
|
|
|
|
|
libcoq-stdlib_8.15.2+dfsg-2_amd64.deb
|
|
|
|
|
libcoq-stdlib_8.15.2+dfsg-2_arm64.deb
|
|
|
|
|
libcoq-stdlib_8.15.2+dfsg-2_armhf.deb
|
|
|
|
|
libcoq-stdlib_8.15.2+dfsg-2_ppc64el.deb
|
|
|
|
|
libcoq-stdlib_8.15.2+dfsg-2_riscv64.deb
|
|
|
|
|
libcoq-stdlib_8.15.2+dfsg-2_s390x.deb
|
|
|
|
|
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb
|
|
|
|
|
libcoq-stdlib_8.17.0+dfsg-1build1_arm64.deb
|
|
|
|
|
libcoq-stdlib_8.17.0+dfsg-1build1_armhf.deb
|
|
|
|
|
libcoq-stdlib_8.17.0+dfsg-1build1_ppc64el.deb
|
|
|
|
|
libcoq-stdlib_8.17.0+dfsg-1build1_riscv64.deb
|
|
|
|
|
libcoq-stdlib_8.17.0+dfsg-1build1_s390x.deb
|
|
|
|