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

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]coq-theories_8.4pl4dfsg-1_all.deb27-Jul-2014 19:26 31M 
[ ]coq-theories_8.6-4_amd64.deb30-Dec-2016 04:56 30M 
[ ]coq-theories_8.6-4_arm64.deb30-Dec-2016 05:57 22M 
[ ]coq-theories_8.6-4_armel.deb30-Dec-2016 07:12 22M 
[ ]coq-theories_8.6-4_armhf.deb30-Dec-2016 07:12 22M 
[ ]coq-theories_8.6-4_i386.deb30-Dec-2016 05:57 29M 
[ ]coq-theories_8.6-4_mips.deb30-Dec-2016 11:57 22M 
[ ]coq-theories_8.9.0-1_amd64.deb06-Feb-2019 22:49 28M 
[ ]coq-theories_8.9.0-1_arm64.deb07-Feb-2019 00:26 19M 
[ ]coq-theories_8.9.0-1_armel.deb07-Feb-2019 05:44 19M 
[ ]coq-theories_8.9.0-1_armhf.deb08-Feb-2019 01:15 19M 
[ ]coq-theories_8.9.0-1_i386.deb07-Feb-2019 00:21 27M 
[ ]coq-theories_8.9.0-1_mips.deb07-Feb-2019 07:15 19M 
[ ]coq-theories_8.12.0-3+b3_amd64.deb25-Nov-2020 11:28 35M 
[ ]coq-theories_8.12.0-3+b3_arm64.deb25-Nov-2020 11:58 23M 
[ ]coq-theories_8.12.0-3+b3_armel.deb25-Nov-2020 21:44 23M 
[ ]coq-theories_8.12.0-3+b3_armhf.deb25-Nov-2020 11:43 23M 
[ ]coq-theories_8.12.0-3+b3_i386.deb25-Nov-2020 11:18 34M 
[ ]coq_8.4pl4dfsg-1_amd64.deb27-Jul-2014 19:26 3.9M 
[ ]coq_8.4pl4dfsg-1_armel.deb27-Jul-2014 22:28 3.7M 
[ ]coq_8.4pl4dfsg-1_armhf.deb28-Jul-2014 01:28 3.7M 
[ ]coq_8.4pl4dfsg-1_i386.deb27-Jul-2014 20:57 3.6M 
[ ]coq_8.6-4_amd64.deb30-Dec-2016 04:56 13M 
[ ]coq_8.6-4_arm64.deb30-Dec-2016 05:57 13M 
[ ]coq_8.6-4_armel.deb30-Dec-2016 07:12 13M 
[ ]coq_8.6-4_armhf.deb30-Dec-2016 07:12 13M 
[ ]coq_8.6-4_i386.deb30-Dec-2016 05:57 13M 
[ ]coq_8.6-4_mips.deb30-Dec-2016 11:57 18M 
[ ]coq_8.9.0-1_amd64.deb06-Feb-2019 22:49 56M 
[ ]coq_8.9.0-1_arm64.deb07-Feb-2019 00:26 60M 
[ ]coq_8.9.0-1_armel.deb07-Feb-2019 05:44 48M 
[ ]coq_8.9.0-1_armhf.deb08-Feb-2019 01:15 55M 
[ ]coq_8.9.0-1_i386.deb07-Feb-2019 00:21 54M 
[ ]coq_8.9.0-1_mips.deb07-Feb-2019 07:15 48M 
[ ]coq_8.12.0-3+b3_amd64.deb25-Nov-2020 11:28 86M 
[ ]coq_8.12.0-3+b3_arm64.deb25-Nov-2020 11:58 92M 
[ ]coq_8.12.0-3+b3_armel.deb25-Nov-2020 21:44 101M 
[ ]coq_8.12.0-3+b3_armhf.deb25-Nov-2020 11:43 84M 
[ ]coq_8.12.0-3+b3_i386.deb25-Nov-2020 11:18 84M 
[ ]coqide_8.4pl4dfsg-1_amd64.deb27-Jul-2014 19:26 779K 
[ ]coqide_8.4pl4dfsg-1_armel.deb27-Jul-2014 22:28 780K 
[ ]coqide_8.4pl4dfsg-1_armhf.deb28-Jul-2014 01:28 804K 
[ ]coqide_8.4pl4dfsg-1_i386.deb27-Jul-2014 20:57 714K 
[ ]coqide_8.6-4_amd64.deb30-Dec-2016 04:56 1.3M 
[ ]coqide_8.6-4_arm64.deb30-Dec-2016 05:57 1.4M 
[ ]coqide_8.6-4_armel.deb30-Dec-2016 07:12 1.4M 
[ ]coqide_8.6-4_armhf.deb30-Dec-2016 07:12 1.4M 
[ ]coqide_8.6-4_i386.deb30-Dec-2016 05:57 1.3M 
[ ]coqide_8.6-4_mips.deb30-Dec-2016 11:57 1.8M 
[ ]coqide_8.12.0-3+b3_amd64.deb25-Nov-2020 11:28 1.8M 
[ ]coqide_8.12.0-3+b3_arm64.deb25-Nov-2020 11:58 2.1M 
[ ]coqide_8.12.0-3+b3_armel.deb25-Nov-2020 21:44 46K 
[ ]coqide_8.12.0-3+b3_armhf.deb25-Nov-2020 11:43 1.7M 
[ ]coqide_8.12.0-3+b3_i386.deb25-Nov-2020 11:18 1.6M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb27-Jul-2014 19:26 3.6M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb27-Jul-2014 22:28 3.9M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb28-Jul-2014 01:28 3.8M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb27-Jul-2014 20:57 3.6M 
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb30-Dec-2016 04:56 13M 
[ ]libcoq-ocaml-dev_8.6-4_arm64.deb30-Dec-2016 05:57 13M 
[ ]libcoq-ocaml-dev_8.6-4_armel.deb30-Dec-2016 07:12 13M 
[ ]libcoq-ocaml-dev_8.6-4_armhf.deb30-Dec-2016 07:12 13M 
[ ]libcoq-ocaml-dev_8.6-4_i386.deb30-Dec-2016 05:57 13M 
[ ]libcoq-ocaml-dev_8.6-4_mips.deb30-Dec-2016 11:57 9.6M 
[ ]libcoq-ocaml-dev_8.9.0-1_amd64.deb06-Feb-2019 22:49 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_arm64.deb07-Feb-2019 00:26 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_armel.deb07-Feb-2019 05:44 7.6M 
[ ]libcoq-ocaml-dev_8.9.0-1_armhf.deb08-Feb-2019 01:15 14M 
[ ]libcoq-ocaml-dev_8.9.0-1_i386.deb07-Feb-2019 00:21 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_mips.deb07-Feb-2019 07:15 7.6M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb25-Nov-2020 11:28 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb25-Nov-2020 11:58 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_armel.deb25-Nov-2020 21:44 11M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb25-Nov-2020 11:43 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_i386.deb25-Nov-2020 11:18 18M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb27-Jul-2014 19:26 1.6M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_armel.deb27-Jul-2014 22:28 1.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_armhf.deb28-Jul-2014 01:28 1.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb27-Jul-2014 20:57 1.4M 
[ ]libcoq-ocaml_8.6-4_amd64.deb30-Dec-2016 04:56 3.3M 
[ ]libcoq-ocaml_8.6-4_arm64.deb30-Dec-2016 05:57 3.3M 
[ ]libcoq-ocaml_8.6-4_armel.deb30-Dec-2016 07:12 3.4M 
[ ]libcoq-ocaml_8.6-4_armhf.deb30-Dec-2016 07:12 3.4M 
[ ]libcoq-ocaml_8.6-4_i386.deb30-Dec-2016 05:57 3.2M 
[ ]libcoq-ocaml_8.6-4_mips.deb30-Dec-2016 11:57 2.3M 
[ ]libcoq-ocaml_8.9.0-1_amd64.deb06-Feb-2019 22:49 5.2M 
[ ]libcoq-ocaml_8.9.0-1_arm64.deb07-Feb-2019 00:26 5.5M 
[ ]libcoq-ocaml_8.9.0-1_armel.deb07-Feb-2019 05:44 3.4M 
[ ]libcoq-ocaml_8.9.0-1_armhf.deb08-Feb-2019 01:15 5.1M 
[ ]libcoq-ocaml_8.9.0-1_i386.deb07-Feb-2019 00:21 4.9M 
[ ]libcoq-ocaml_8.9.0-1_mips.deb07-Feb-2019 07:15 3.4M 
[ ]libcoq-ocaml_8.12.0-3+b3_amd64.deb25-Nov-2020 11:28 7.4M 
[ ]libcoq-ocaml_8.12.0-3+b3_arm64.deb25-Nov-2020 11:58 7.6M 
[ ]libcoq-ocaml_8.12.0-3+b3_armel.deb25-Nov-2020 21:44 5.2M 
[ ]libcoq-ocaml_8.12.0-3+b3_armhf.deb25-Nov-2020 11:43 7.4M 
[ ]libcoq-ocaml_8.12.0-3+b3_i386.deb25-Nov-2020 11:18 7.2M 
Apache/2.2.15 (Red Hat) Server at mirror.squ.edu.om Port 80