Index of /debian/pool/main/c/coq
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
libcoq-ocaml_8.6-5_s390x.deb 26-Sep-2017 14:14 3.5M
libcoq-ocaml_8.6-5_ppc64el.deb 26-Sep-2017 14:14 3.5M
libcoq-ocaml_8.6-5_powerpc.deb 26-Sep-2017 14:14 3.3M
libcoq-ocaml_8.6-5_mipsel.deb 26-Sep-2017 23:30 2.2M
libcoq-ocaml_8.6-5_mips64el.deb 27-Sep-2017 01:26 2.2M
libcoq-ocaml_8.6-5_mips.deb 26-Sep-2017 20:49 2.2M
libcoq-ocaml_8.6-5_kfreebsd-i386.deb 26-Sep-2017 14:19 3.3M
libcoq-ocaml_8.6-5_kfreebsd-amd64.deb 27-Sep-2017 17:26 3.5M
libcoq-ocaml_8.6-5_i386.deb 26-Sep-2017 14:14 3.3M
libcoq-ocaml_8.6-5_hurd-i386.deb 26-Sep-2017 15:40 3.3M
libcoq-ocaml_8.6-5_armel.deb 06-Oct-2017 20:59 2.2M
libcoq-ocaml_8.6-5_arm64.deb 26-Sep-2017 14:45 3.6M
libcoq-ocaml_8.6-5_amd64.deb 26-Sep-2017 13:04 3.5M
libcoq-ocaml_8.6-5+b1_armhf.deb 06-Oct-2017 15:13 3.4M
libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 07:27 2.3M
libcoq-ocaml_8.6-4_ppc64el.deb 30-Dec-2016 05:57 2.3M
libcoq-ocaml_8.6-4_mipsel.deb 30-Dec-2016 09:57 2.3M
libcoq-ocaml_8.6-4_mips64el.deb 30-Dec-2016 16:29 2.3M
libcoq-ocaml_8.6-4_mips.deb 30-Dec-2016 09:57 2.3M
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 03:57 3.2M
libcoq-ocaml_8.6-4_armhf.deb 30-Dec-2016 05:12 3.4M
libcoq-ocaml_8.6-4_armel.deb 30-Dec-2016 05:12 3.4M
libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 03:57 3.3M
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 02:56 3.3M
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 20:57 372K
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb 27-Jul-2014 20:28 1.4M
libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 05:14 373K
libcoq-ocaml_8.4pl4dfsg-1_mips.deb 31-Jul-2014 17:58 373K
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb 27-Jul-2014 20:12 1.4M
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb 27-Jul-2014 19:57 1.6M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 19:57 1.4M
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 00:28 1.5M
libcoq-ocaml_8.4pl4dfsg-1_armel.deb 27-Jul-2014 21:28 1.5M
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 06:27 371K
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 18:26 1.6M
libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 05:42 374K
libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 13:32 2.0M
libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 14:17 524K
libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 13:17 520K
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 12:02 2.0M
libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 15:32 521K
libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb 08-Jun-2012 18:19 521K
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 13:17 1.8M
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 06-Jun-2012 23:48 2.0M
libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb 07-Jun-2012 22:03 524K
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 10:32 1.8M
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 18:32 524K
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 13:47 521K
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 09:32 2.0M
libcoq-ocaml-dev_8.6-5_s390x.deb 26-Sep-2017 14:14 13M
libcoq-ocaml-dev_8.6-5_ppc64el.deb 26-Sep-2017 14:14 13M
libcoq-ocaml-dev_8.6-5_powerpc.deb 26-Sep-2017 14:14 13M
libcoq-ocaml-dev_8.6-5_mipsel.deb 26-Sep-2017 23:30 9.5M
libcoq-ocaml-dev_8.6-5_mips64el.deb 27-Sep-2017 01:26 9.5M
libcoq-ocaml-dev_8.6-5_mips.deb 26-Sep-2017 20:49 9.5M
libcoq-ocaml-dev_8.6-5_kfreebsd-i386.deb 26-Sep-2017 14:19 13M
libcoq-ocaml-dev_8.6-5_kfreebsd-amd64.deb 27-Sep-2017 17:26 13M
libcoq-ocaml-dev_8.6-5_i386.deb 26-Sep-2017 14:14 13M
libcoq-ocaml-dev_8.6-5_hurd-i386.deb 26-Sep-2017 15:40 13M
libcoq-ocaml-dev_8.6-5_armel.deb 06-Oct-2017 20:59 9.5M
libcoq-ocaml-dev_8.6-5_arm64.deb 26-Sep-2017 14:45 13M
libcoq-ocaml-dev_8.6-5_amd64.deb 26-Sep-2017 13:04 13M
libcoq-ocaml-dev_8.6-5+b1_armhf.deb 06-Oct-2017 15:13 14M
libcoq-ocaml-dev_8.6-4_s390x.deb 30-Dec-2016 07:27 9.6M
libcoq-ocaml-dev_8.6-4_ppc64el.deb 30-Dec-2016 05:57 9.6M
libcoq-ocaml-dev_8.6-4_mipsel.deb 30-Dec-2016 09:57 9.6M
libcoq-ocaml-dev_8.6-4_mips64el.deb 30-Dec-2016 16:29 9.6M
libcoq-ocaml-dev_8.6-4_mips.deb 30-Dec-2016 09:57 9.6M
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 03:57 13M
libcoq-ocaml-dev_8.6-4_armhf.deb 30-Dec-2016 05:12 13M
libcoq-ocaml-dev_8.6-4_armel.deb 30-Dec-2016 05:12 13M
libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 03:57 13M
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 02:56 13M
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 20:57 1.2M
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb 27-Jul-2014 20:28 3.5M
libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 05:14 1.2M
libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb 31-Jul-2014 17:58 1.2M
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb 27-Jul-2014 20:12 3.5M
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb 27-Jul-2014 19:57 3.5M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 19:57 3.6M
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 00:28 3.8M
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb 27-Jul-2014 21:28 3.9M
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 06:27 1.2M
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 18:26 3.6M
libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 05:42 1.2M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 13:32 6.1M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 14:17 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 13:17 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 12:02 6.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 15:32 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb 08-Jun-2012 18:19 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 13:17 5.5M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 06-Jun-2012 23:48 5.6M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb 07-Jun-2012 22:03 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 10:32 5.5M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 18:32 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 13:47 7.2M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 09:32 5.6M
coqide_8.6-5_s390x.deb 26-Sep-2017 14:14 1.7M
coqide_8.6-5_ppc64el.deb 26-Sep-2017 14:14 1.6M
coqide_8.6-5_powerpc.deb 26-Sep-2017 14:14 1.4M
coqide_8.6-5_mipsel.deb 26-Sep-2017 23:30 1.9M
coqide_8.6-5_mips64el.deb 27-Sep-2017 01:26 1.9M
coqide_8.6-5_mips.deb 26-Sep-2017 20:49 1.9M
coqide_8.6-5_kfreebsd-i386.deb 26-Sep-2017 14:19 1.4M
coqide_8.6-5_kfreebsd-amd64.deb 27-Sep-2017 17:26 1.5M
coqide_8.6-5_i386.deb 26-Sep-2017 14:14 1.4M
coqide_8.6-5_hurd-i386.deb 26-Sep-2017 15:40 1.3M
coqide_8.6-5_armel.deb 06-Oct-2017 20:59 1.9M
coqide_8.6-5_arm64.deb 26-Sep-2017 14:45 1.7M
coqide_8.6-5_amd64.deb 26-Sep-2017 13:04 1.5M
coqide_8.6-5+b1_armhf.deb 06-Oct-2017 15:13 1.4M
coqide_8.6-4_s390x.deb 30-Dec-2016 07:27 1.8M
coqide_8.6-4_ppc64el.deb 30-Dec-2016 05:57 1.8M
coqide_8.6-4_mipsel.deb 30-Dec-2016 09:57 1.8M
coqide_8.6-4_mips64el.deb 30-Dec-2016 16:29 1.8M
coqide_8.6-4_mips.deb 30-Dec-2016 09:57 1.8M
coqide_8.6-4_i386.deb 30-Dec-2016 03:57 1.3M
coqide_8.6-4_armhf.deb 30-Dec-2016 05:12 1.4M
coqide_8.6-4_armel.deb 30-Dec-2016 05:12 1.4M
coqide_8.6-4_arm64.deb 30-Dec-2016 03:57 1.4M
coqide_8.6-4_amd64.deb 30-Dec-2016 02:56 1.3M
coqide_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 20:57 249K
coqide_8.4pl4dfsg-1_powerpc.deb 27-Jul-2014 20:28 679K
coqide_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 05:14 249K
coqide_8.4pl4dfsg-1_mips.deb 31-Jul-2014 17:58 249K
coqide_8.4pl4dfsg-1_kfreebsd-i386.deb 27-Jul-2014 20:12 712K
coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb 27-Jul-2014 19:57 777K
coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 19:57 714K
coqide_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 00:28 804K
coqide_8.4pl4dfsg-1_armel.deb 27-Jul-2014 21:28 780K
coqide_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 06:27 249K
coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 18:26 779K
coqide_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 05:42 250K
coqide_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 13:32 5.2M
coqide_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 14:17 2.4M
coqide_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 13:17 2.4M
coqide_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 12:02 5.4M
coqide_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 15:32 2.4M
coqide_8.3.pl4+dfsg-2_mips.deb 08-Jun-2012 18:19 2.4M
coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 13:17 5.0M
coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 06-Jun-2012 23:48 5.4M
coqide_8.3.pl4+dfsg-2_ia64.deb 07-Jun-2012 22:03 2.4M
coqide_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 10:32 5.0M
coqide_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 18:32 2.4M
coqide_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 13:47 5.9M
coqide_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 09:32 5.4M
![[ ]](/icons/compressed.gif)
coq_8.6.orig.tar.gz 28-Dec-2016 15:44 4.8M
coq_8.6-5_s390x.deb 26-Sep-2017 14:14 17M
coq_8.6-5_ppc64el.deb 26-Sep-2017 14:14 17M
coq_8.6-5_powerpc.deb 26-Sep-2017 14:14 16M
coq_8.6-5_mipsel.deb 26-Sep-2017 23:30 24M
coq_8.6-5_mips64el.deb 27-Sep-2017 01:26 24M
coq_8.6-5_mips.deb 26-Sep-2017 20:49 24M
coq_8.6-5_kfreebsd-i386.deb 26-Sep-2017 14:19 16M
coq_8.6-5_kfreebsd-amd64.deb 27-Sep-2017 17:26 17M
coq_8.6-5_i386.deb 26-Sep-2017 14:14 16M
coq_8.6-5_hurd-i386.deb 26-Sep-2017 15:40 16M
coq_8.6-5_armel.deb 06-Oct-2017 20:59 24M
coq_8.6-5_arm64.deb 26-Sep-2017 14:45 18M
coq_8.6-5_amd64.deb 26-Sep-2017 13:04 17M
![[TXT]](/icons/text.gif)
coq_8.6-5.dsc 26-Sep-2017 13:04 2.4K
coq_8.6-5.debian.tar.xz 26-Sep-2017 13:04 21K
coq_8.6-5+b1_armhf.deb 06-Oct-2017 15:13 16M
coq_8.6-4_s390x.deb 30-Dec-2016 07:27 18M
coq_8.6-4_ppc64el.deb 30-Dec-2016 05:57 18M
coq_8.6-4_mipsel.deb 30-Dec-2016 09:57 18M
coq_8.6-4_mips64el.deb 30-Dec-2016 16:29 18M
coq_8.6-4_mips.deb 30-Dec-2016 09:57 18M
coq_8.6-4_i386.deb 30-Dec-2016 03:57 13M
coq_8.6-4_armhf.deb 30-Dec-2016 05:12 13M
coq_8.6-4_armel.deb 30-Dec-2016 05:12 13M
coq_8.6-4_arm64.deb 30-Dec-2016 03:57 13M
coq_8.6-4_amd64.deb 30-Dec-2016 02:56 13M
coq_8.6-4.dsc 30-Dec-2016 02:56 2.3K
coq_8.6-4.debian.tar.xz 30-Dec-2016 02:56 21K
coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 18:26 3.4M
coq_8.4pl4dfsg-1_ppc64el.deb 06-Sep-2014 20:57 1.1M
coq_8.4pl4dfsg-1_powerpc.deb 27-Jul-2014 20:28 3.4M
coq_8.4pl4dfsg-1_mipsel.deb 28-Jul-2014 05:14 1.1M
coq_8.4pl4dfsg-1_mips.deb 31-Jul-2014 17:58 1.1M
coq_8.4pl4dfsg-1_kfreebsd-i386.deb 27-Jul-2014 20:12 3.7M
coq_8.4pl4dfsg-1_kfreebsd-amd64.deb 27-Jul-2014 19:57 4.0M
coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 19:57 3.6M
coq_8.4pl4dfsg-1_armhf.deb 28-Jul-2014 00:28 3.7M
coq_8.4pl4dfsg-1_armel.deb 27-Jul-2014 21:28 3.7M
coq_8.4pl4dfsg-1_arm64.deb 11-Sep-2014 06:27 1.1M
coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 18:26 3.9M
coq_8.4pl4dfsg-1.dsc 27-Jul-2014 18:26 2.3K
coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 18:26 15K
coq_8.4pl4dfsg-1+b1_s390x.deb 27-Aug-2014 05:42 1.1M
coq_8.3.pl4+dfsg.orig.tar.gz 27-Mar-2012 10:02 3.0M
coq_8.3.pl4+dfsg-2_sparc.deb 06-Jun-2012 13:32 5.2M
coq_8.3.pl4+dfsg-2_s390x.deb 06-Jun-2012 14:17 1.7M
coq_8.3.pl4+dfsg-2_s390.deb 06-Jun-2012 13:17 1.7M
coq_8.3.pl4+dfsg-2_powerpc.deb 06-Jun-2012 12:02 5.3M
coq_8.3.pl4+dfsg-2_mipsel.deb 06-Jun-2012 15:32 1.7M
coq_8.3.pl4+dfsg-2_mips.deb 08-Jun-2012 18:19 1.7M
coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb 06-Jun-2012 13:17 4.8M
coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb 06-Jun-2012 23:48 5.4M
coq_8.3.pl4+dfsg-2_ia64.deb 07-Jun-2012 22:03 1.7M
coq_8.3.pl4+dfsg-2_i386.deb 06-Jun-2012 10:32 4.8M
coq_8.3.pl4+dfsg-2_armhf.deb 06-Jun-2012 18:32 1.7M
coq_8.3.pl4+dfsg-2_armel.deb 06-Jun-2012 13:47 5.8M
coq_8.3.pl4+dfsg-2_amd64.deb 06-Jun-2012 09:32 5.4M
coq_8.3.pl4+dfsg-2.dsc 06-Jun-2012 09:32 2.3K
coq_8.3.pl4+dfsg-2.debian.tar.gz 06-Jun-2012 09:32 16K
coq-theories_8.6-5_s390x.deb 26-Sep-2017 14:14 22M
coq-theories_8.6-5_ppc64el.deb 26-Sep-2017 14:14 22M
coq-theories_8.6-5_powerpc.deb 26-Sep-2017 14:14 22M
coq-theories_8.6-5_mipsel.deb 26-Sep-2017 23:30 22M
coq-theories_8.6-5_mips64el.deb 27-Sep-2017 01:26 22M
coq-theories_8.6-5_mips.deb 26-Sep-2017 20:49 22M
coq-theories_8.6-5_kfreebsd-i386.deb 26-Sep-2017 14:19 22M
coq-theories_8.6-5_kfreebsd-amd64.deb 27-Sep-2017 17:26 22M
coq-theories_8.6-5_i386.deb 26-Sep-2017 14:14 31M
coq-theories_8.6-5_hurd-i386.deb 26-Sep-2017 15:40 22M
coq-theories_8.6-5_armel.deb 06-Oct-2017 20:59 22M
coq-theories_8.6-5_arm64.deb 26-Sep-2017 14:45 22M
coq-theories_8.6-5_amd64.deb 26-Sep-2017 13:04 32M
coq-theories_8.6-5+b1_armhf.deb 06-Oct-2017 15:13 22M
coq-theories_8.6-4_s390x.deb 30-Dec-2016 07:27 22M
coq-theories_8.6-4_ppc64el.deb 30-Dec-2016 05:57 22M
coq-theories_8.6-4_mipsel.deb 30-Dec-2016 09:57 22M
coq-theories_8.6-4_mips64el.deb 30-Dec-2016 16:29 22M
coq-theories_8.6-4_mips.deb 30-Dec-2016 09:57 22M
coq-theories_8.6-4_i386.deb 30-Dec-2016 03:57 29M
coq-theories_8.6-4_armhf.deb 30-Dec-2016 05:12 22M
coq-theories_8.6-4_armel.deb 30-Dec-2016 05:12 22M
coq-theories_8.6-4_arm64.deb 30-Dec-2016 03:57 22M
coq-theories_8.6-4_amd64.deb 30-Dec-2016 02:56 30M
coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 18:26 31M
coq-theories_8.3.pl4+dfsg-2_all.deb 06-Jun-2012 09:32 52M