Studenten Net Twente Mirror service

Index of /debian-archive/debian/pool/main/c/coq/

Filename Modification time Size
coq-libs_8.0pl2-2_all.deb 3648 KiB
coq-libs_8.0pl3-2_all.deb 3649 KiB
coq-libs_8.1.pl3+dfsg-1_all.deb 12 MiB
coq-theories_8.2.pl2+dfsg-1_all.deb 18 MiB
coq-theories_8.3.pl4+dfsg-2_all.deb 52 MiB
coq-theories_8.4pl4dfsg-1_all.deb 31 MiB
coq-theories_8.6-4_amd64.deb 30 MiB
coq-theories_8.6-4_arm64.deb 22 MiB
coq-theories_8.6-4_armel.deb 22 MiB
coq-theories_8.6-4_armhf.deb 22 MiB
coq-theories_8.6-4_i386.deb 29 MiB
coq-theories_8.6-4_mips.deb 22 MiB
coq-theories_8.6-4_mips64el.deb 22 MiB
coq-theories_8.6-4_mipsel.deb 22 MiB
coq-theories_8.6-4_ppc64el.deb 22 MiB
coq-theories_8.6-4_s390x.deb 22 MiB
coq7-libs_8.0pl2-2_all.deb 3722 KiB
coq7-libs_8.0pl3-2_all.deb 3723 KiB
coq_7.2-9.diff.gz 4657 B
coq_7.2-9.dsc 614 B
coq_7.2-9_alpha.deb 8684 KiB
coq_7.2-9_arm.deb 8247 KiB
coq_7.2-9_hppa.deb 7140 KiB
coq_7.2-9_i386.deb 7986 KiB
coq_7.2-9_ia64.deb 9681 KiB
coq_7.2-9_m68k.deb 6972 KiB
coq_7.2-9_mips.deb 7063 KiB
coq_7.2-9_mipsel.deb 7059 KiB
coq_7.2-9_powerpc.deb 7034 KiB
coq_7.2-9_s390.deb 7039 KiB
coq_7.2-9_sparc.deb 7063 KiB
coq_7.2.orig.tar.gz 1128 KiB
coq_8.0pl2-2.diff.gz 11 KiB
coq_8.0pl2-2.dsc 919 B
coq_8.0pl2-2_alpha.deb 2889 KiB
coq_8.0pl2-2_arm.deb 2741 KiB
coq_8.0pl2-2_hppa.deb 7131 KiB
coq_8.0pl2-2_i386.deb 5895 KiB
coq_8.0pl2-2_ia64.deb 3042 KiB
coq_8.0pl2-2_m68k.deb 2669 KiB
coq_8.0pl2-2_mips.deb 2796 KiB
coq_8.0pl2-2_mipsel.deb 2785 KiB
coq_8.0pl2-2_powerpc.deb 6731 KiB
coq_8.0pl2-2_s390.deb 2849 KiB
coq_8.0pl2-2_sparc.deb 6810 KiB
coq_8.0pl2.orig.tar.gz 2232 KiB
coq_8.0pl3-2.diff.gz 16 KiB
coq_8.0pl3-2.dsc 891 B
coq_8.0pl3-2_alpha.deb 2932 KiB
coq_8.0pl3-2_amd64.deb 6395 KiB
coq_8.0pl3-2_arm.deb 2787 KiB
coq_8.0pl3-2_hppa.deb 2897 KiB
coq_8.0pl3-2_i386.deb 5969 KiB
coq_8.0pl3-2_ia64.deb 3077 KiB
coq_8.0pl3-2_m68k.deb 2712 KiB
coq_8.0pl3-2_mips.deb 2860 KiB
coq_8.0pl3-2_mipsel.deb 2851 KiB
coq_8.0pl3-2_powerpc.deb 6787 KiB
coq_8.0pl3-2_s390.deb 2903 KiB
coq_8.0pl3-2_sparc.deb 6883 KiB
coq_8.0pl3.orig.tar.gz 2255 KiB
coq_8.1.pl3+dfsg-1+b2_alpha.deb 4238 KiB
coq_8.1.pl3+dfsg-1+b2_amd64.deb 8826 KiB
coq_8.1.pl3+dfsg-1+b2_arm.deb 4092 KiB
coq_8.1.pl3+dfsg-1+b2_armel.deb 4116 KiB
coq_8.1.pl3+dfsg-1+b2_hppa.deb 4180 KiB
coq_8.1.pl3+dfsg-1+b2_i386.deb 8264 KiB
coq_8.1.pl3+dfsg-1+b2_ia64.deb 4371 KiB
coq_8.1.pl3+dfsg-1+b2_mips.deb 4145 KiB
coq_8.1.pl3+dfsg-1+b2_mipsel.deb 4132 KiB
coq_8.1.pl3+dfsg-1+b2_powerpc.deb 9237 KiB
coq_8.1.pl3+dfsg-1+b2_s390.deb 4226 KiB
coq_8.1.pl3+dfsg-1+b2_sparc.deb 9246 KiB
coq_8.1.pl3+dfsg-1.diff.gz 15 KiB
coq_8.1.pl3+dfsg-1.dsc 1070 B
coq_8.1.pl3+dfsg.orig.tar.gz 2475 KiB
coq_8.2.pl2+dfsg-1.debian.tar.gz 16 KiB
coq_8.2.pl2+dfsg-1.dsc 2157 B
coq_8.2.pl2+dfsg-1_amd64.deb 15 MiB
coq_8.2.pl2+dfsg-1_armel.deb 3586 KiB
coq_8.2.pl2+dfsg-1_i386.deb 13 MiB
coq_8.2.pl2+dfsg-1_ia64.deb 3588 KiB
coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 15 MiB
coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb 13 MiB
coq_8.2.pl2+dfsg-1_mips.deb 3584 KiB
coq_8.2.pl2+dfsg-1_mipsel.deb 3585 KiB
coq_8.2.pl2+dfsg-1_powerpc.deb 15 MiB
coq_8.2.pl2+dfsg-1_s390.deb 3586 KiB
coq_8.2.pl2+dfsg-1_sparc.deb 15 MiB
coq_8.2.pl2+dfsg.orig.tar.gz 3069 KiB
coq_8.3.pl4+dfsg-2.debian.tar.gz 16 KiB
coq_8.3.pl4+dfsg-2.dsc 2343 B
coq_8.3.pl4+dfsg-2_amd64.deb 5554 KiB
coq_8.3.pl4+dfsg-2_armel.deb 5971 KiB
coq_8.3.pl4+dfsg-2_armhf.deb 1773 KiB
coq_8.3.pl4+dfsg-2_i386.deb 4951 KiB
coq_8.3.pl4+dfsg-2_ia64.deb 1772 KiB
coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 5550 KiB
coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb 4946 KiB
coq_8.3.pl4+dfsg-2_mips.deb 1772 KiB
coq_8.3.pl4+dfsg-2_mipsel.deb 1772 KiB
coq_8.3.pl4+dfsg-2_powerpc.deb 5431 KiB
coq_8.3.pl4+dfsg-2_s390.deb 1771 KiB
coq_8.3.pl4+dfsg-2_s390x.deb 1773 KiB
coq_8.3.pl4+dfsg-2_sparc.deb 5294 KiB
coq_8.3.pl4+dfsg.orig.tar.gz 3081 KiB
coq_8.4pl4dfsg-1+b1_s390x.deb 1134 KiB
coq_8.4pl4dfsg-1.debian.tar.xz 15 KiB
coq_8.4pl4dfsg-1.dsc 2374 B
coq_8.4pl4dfsg-1_amd64.deb 3953 KiB
coq_8.4pl4dfsg-1_arm64.deb 1132 KiB
coq_8.4pl4dfsg-1_armel.deb 3742 KiB
coq_8.4pl4dfsg-1_armhf.deb 3830 KiB
coq_8.4pl4dfsg-1_i386.deb 3717 KiB
coq_8.4pl4dfsg-1_kfreebsd-amd64.deb 4099 KiB
coq_8.4pl4dfsg-1_kfreebsd-i386.deb 3840 KiB
coq_8.4pl4dfsg-1_mips.deb 1132 KiB
coq_8.4pl4dfsg-1_mipsel.deb 1135 KiB
coq_8.4pl4dfsg-1_powerpc.deb 3458 KiB
coq_8.4pl4dfsg-1_ppc64el.deb 1132 KiB
coq_8.4pl4dfsg.orig.tar.gz 3444 KiB
coq_8.6-4.debian.tar.xz 21 KiB
coq_8.6-4.dsc 2396 B
coq_8.6-4_amd64.deb 13 MiB
coq_8.6-4_arm64.deb 13 MiB
coq_8.6-4_armel.deb 13 MiB
coq_8.6-4_armhf.deb 13 MiB
coq_8.6-4_i386.deb 13 MiB
coq_8.6-4_mips.deb 18 MiB
coq_8.6-4_mips64el.deb 18 MiB
coq_8.6-4_mipsel.deb 18 MiB
coq_8.6-4_ppc64el.deb 18 MiB
coq_8.6-4_s390x.deb 18 MiB
coq_8.6.orig.tar.gz 4891 KiB
coqide_8.0pl2-2_alpha.deb 1949 KiB
coqide_8.0pl2-2_arm.deb 1902 KiB
coqide_8.0pl2-2_hppa.deb 4647 KiB
coqide_8.0pl2-2_i386.deb 3965 KiB
coqide_8.0pl2-2_ia64.deb 1967 KiB
coqide_8.0pl2-2_m68k.deb 1912 KiB
coqide_8.0pl2-2_mips.deb 1918 KiB
coqide_8.0pl2-2_mipsel.deb 1907 KiB
coqide_8.0pl2-2_powerpc.deb 4413 KiB
coqide_8.0pl2-2_s390.deb 1959 KiB
coqide_8.0pl2-2_sparc.deb 4486 KiB
coqide_8.0pl3-2_alpha.deb 1341 KiB
coqide_8.0pl3-2_amd64.deb 3576 KiB
coqide_8.0pl3-2_arm.deb 1298 KiB
coqide_8.0pl3-2_hppa.deb 1335 KiB
coqide_8.0pl3-2_i386.deb 3361 KiB
coqide_8.0pl3-2_ia64.deb 1365 KiB
coqide_8.0pl3-2_m68k.deb 1311 KiB
coqide_8.0pl3-2_mips.deb 1323 KiB
coqide_8.0pl3-2_mipsel.deb 1314 KiB
coqide_8.0pl3-2_powerpc.deb 3802 KiB
coqide_8.0pl3-2_s390.deb 1356 KiB
coqide_8.0pl3-2_sparc.deb 3883 KiB
coqide_8.1.pl3+dfsg-1+b2_alpha.deb 2411 KiB
coqide_8.1.pl3+dfsg-1+b2_amd64.deb 5109 KiB
coqide_8.1.pl3+dfsg-1+b2_arm.deb 2355 KiB
coqide_8.1.pl3+dfsg-1+b2_armel.deb 2360 KiB
coqide_8.1.pl3+dfsg-1+b2_hppa.deb 2389 KiB
coqide_8.1.pl3+dfsg-1+b2_i386.deb 4812 KiB
coqide_8.1.pl3+dfsg-1+b2_ia64.deb 2441 KiB
coqide_8.1.pl3+dfsg-1+b2_mips.deb 2380 KiB
coqide_8.1.pl3+dfsg-1+b2_mipsel.deb 2369 KiB
coqide_8.1.pl3+dfsg-1+b2_powerpc.deb 5374 KiB
coqide_8.1.pl3+dfsg-1+b2_s390.deb 2440 KiB
coqide_8.1.pl3+dfsg-1+b2_sparc.deb 5383 KiB
coqide_8.2.pl2+dfsg-1_amd64.deb 6400 KiB
coqide_8.2.pl2+dfsg-1_armel.deb 2359 KiB
coqide_8.2.pl2+dfsg-1_i386.deb 5886 KiB
coqide_8.2.pl2+dfsg-1_ia64.deb 2358 KiB
coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 6398 KiB
coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb 5884 KiB
coqide_8.2.pl2+dfsg-1_mips.deb 2360 KiB
coqide_8.2.pl2+dfsg-1_mipsel.deb 2360 KiB
coqide_8.2.pl2+dfsg-1_powerpc.deb 6440 KiB
coqide_8.2.pl2+dfsg-1_s390.deb 2357 KiB
coqide_8.2.pl2+dfsg-1_sparc.deb 6483 KiB
coqide_8.3.pl4+dfsg-2_amd64.deb 5491 KiB
coqide_8.3.pl4+dfsg-2_armel.deb 6000 KiB
coqide_8.3.pl4+dfsg-2_armhf.deb 2481 KiB
coqide_8.3.pl4+dfsg-2_i386.deb 5113 KiB
coqide_8.3.pl4+dfsg-2_ia64.deb 2478 KiB
coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 5491 KiB
coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb 5109 KiB
coqide_8.3.pl4+dfsg-2_mips.deb 2478 KiB
coqide_8.3.pl4+dfsg-2_mipsel.deb 2478 KiB
coqide_8.3.pl4+dfsg-2_powerpc.deb 5509 KiB
coqide_8.3.pl4+dfsg-2_s390.deb 2479 KiB
coqide_8.3.pl4+dfsg-2_s390x.deb 2481 KiB
coqide_8.3.pl4+dfsg-2_sparc.deb 5366 KiB
coqide_8.4pl4dfsg-1+b1_s390x.deb 250 KiB
coqide_8.4pl4dfsg-1_amd64.deb 779 KiB
coqide_8.4pl4dfsg-1_arm64.deb 249 KiB
coqide_8.4pl4dfsg-1_armel.deb 780 KiB
coqide_8.4pl4dfsg-1_armhf.deb 804 KiB
coqide_8.4pl4dfsg-1_i386.deb 714 KiB
coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb 777 KiB
coqide_8.4pl4dfsg-1_kfreebsd-i386.deb 712 KiB
coqide_8.4pl4dfsg-1_mips.deb 249 KiB
coqide_8.4pl4dfsg-1_mipsel.deb 249 KiB
coqide_8.4pl4dfsg-1_powerpc.deb 679 KiB
coqide_8.4pl4dfsg-1_ppc64el.deb 249 KiB
coqide_8.6-4_amd64.deb 1373 KiB
coqide_8.6-4_arm64.deb 1391 KiB
coqide_8.6-4_armel.deb 1400 KiB
coqide_8.6-4_armhf.deb 1438 KiB
coqide_8.6-4_i386.deb 1283 KiB
coqide_8.6-4_mips.deb 1847 KiB
coqide_8.6-4_mips64el.deb 1847 KiB
coqide_8.6-4_mipsel.deb 1847 KiB
coqide_8.6-4_ppc64el.deb 1847 KiB
coqide_8.6-4_s390x.deb 1847 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 5943 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb 1928 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 5794 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb 1914 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb 5904 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb 5755 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb 1916 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb 1926 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb 6881 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb 1914 KiB
libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb 6579 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 5778 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb 7415 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb 2469 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 5657 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb 2458 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 5749 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb 5622 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb 2473 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb 2458 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb 6573 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb 2469 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb 2475 KiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb 6289 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb 1271 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 3692 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb 1269 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb 4023 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 3923 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 3685 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb 3586 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb 3597 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb 1268 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb 1269 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb 3580 KiB
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb 1269 KiB
libcoq-ocaml-dev_8.6-4_amd64.deb 13 MiB
libcoq-ocaml-dev_8.6-4_arm64.deb 13 MiB
libcoq-ocaml-dev_8.6-4_armel.deb 13 MiB
libcoq-ocaml-dev_8.6-4_armhf.deb 13 MiB
libcoq-ocaml-dev_8.6-4_i386.deb 13 MiB
libcoq-ocaml-dev_8.6-4_mips.deb 9817 KiB
libcoq-ocaml-dev_8.6-4_mips64el.deb 9815 KiB
libcoq-ocaml-dev_8.6-4_mipsel.deb 9818 KiB
libcoq-ocaml-dev_8.6-4_ppc64el.deb 9819 KiB
libcoq-ocaml-dev_8.6-4_s390x.deb 9819 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 2051 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb 521 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb 524 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 1815 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb 524 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 2051 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb 1819 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb 521 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb 521 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb 2094 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb 520 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb 524 KiB
libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb 2079 KiB
libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb 374 KiB
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 1599 KiB
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb 371 KiB
libcoq-ocaml_8.4pl4dfsg-1_armel.deb 1502 KiB
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 1543 KiB
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 1455 KiB
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb 1601 KiB
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb 1455 KiB
libcoq-ocaml_8.4pl4dfsg-1_mips.deb 373 KiB
libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb 373 KiB
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb 1394 KiB
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb 372 KiB
libcoq-ocaml_8.6-4_amd64.deb 3420 KiB
libcoq-ocaml_8.6-4_arm64.deb 3398 KiB
libcoq-ocaml_8.6-4_armel.deb 3433 KiB
libcoq-ocaml_8.6-4_armhf.deb 3481 KiB
libcoq-ocaml_8.6-4_i386.deb 3322 KiB
libcoq-ocaml_8.6-4_mips.deb 2319 KiB
libcoq-ocaml_8.6-4_mips64el.deb 2318 KiB
libcoq-ocaml_8.6-4_mipsel.deb 2319 KiB
libcoq-ocaml_8.6-4_ppc64el.deb 2319 KiB
libcoq-ocaml_8.6-4_s390x.deb 2320 KiB