Index of /sites/raspbian.org/raspbian/pool/main/c/coq
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/strapdown/icons/glyphicon-file.svg)
coq-theories_8.12.0-3+b1_armhf.deb 2020-11-10 09:05 23M
coq-theories_8.12.0-3+b2_armhf.deb 2020-12-03 18:49 23M
coq-theories_8.12.0-3_armhf.deb 2020-10-23 04:45 23M
coq-theories_8.14.1+dfsg-1_armhf.deb 2022-01-11 11:08 21M
coq-theories_8.15.0+dfsg-1+b1_armhf.deb 2022-02-06 03:43 20M
coq-theories_8.15.0+dfsg-1_armhf.deb 2022-02-03 11:08 20M
coq-theories_8.3.pl4+dfsg-2_all.deb 2012-06-06 08:32 52M
coq-theories_8.4pl4dfsg-1_all.deb 2014-07-27 17:26 31M
coq-theories_8.6-4+b2_armhf.deb 2017-08-09 12:08 22M
coq-theories_8.6-4_armhf.deb 2017-01-17 03:52 22M
coq-theories_8.6-5_armhf.deb 2018-01-09 17:08 22M
coq-theories_8.9.0-1+b1_armhf.deb 2019-07-31 18:08 19M
coq-theories_8.9.0-1+b2_armhf.deb 2019-08-09 18:08 19M
coq-theories_8.9.0-1_armhf.deb 2019-02-25 11:08 19M
coq-theories_8.9.1-1_armhf.deb 2019-09-05 06:08 19M
coq-theories_8.9.1-2+b1_armhf.deb 2019-12-08 23:08 19M
coq-theories_8.9.1-2+b2_armhf.deb 2020-01-03 23:08 19M
coq-theories_8.9.1-2_armhf.deb 2019-11-28 11:08 19M
coq-theories_8.9.1-5+b1_armhf.deb 2020-02-18 00:30 19M
coq-theories_8.9.1-5_armhf.deb 2020-02-01 11:08 19M
coq_8.11.0-1.debian.tar.xz 2020-03-05 22:39 31K
coq_8.11.0-1.dsc 2020-03-05 22:39 2.4K
![[ ]](/icons/compressed.gif)
coq_8.11.0.orig.tar.gz 2020-03-05 22:39 5.6M
coq_8.12.0-3+b1_armhf.deb 2020-11-10 09:05 82M
coq_8.12.0-3+b2_armhf.deb 2020-12-03 18:49 82M
coq_8.12.0-3.debian.tar.xz 2020-09-10 08:38 37K
coq_8.12.0-3.dsc 2020-09-10 08:38 2.4K
coq_8.12.0-3_armhf.deb 2020-10-23 04:45 69M
coq_8.12.0.orig.tar.gz 2020-08-22 11:26 5.7M
coq_8.14.1+dfsg-1.debian.tar.xz 2021-12-11 12:32 39K
coq_8.14.1+dfsg-1.dsc 2021-12-11 12:32 2.9K
coq_8.14.1+dfsg-1_armhf.deb 2022-01-11 11:08 70M
coq_8.14.1+dfsg.orig.tar.xz 2021-12-11 12:32 4.4M
coq_8.15.0+dfsg-1+b1_armhf.deb 2022-02-06 03:43 72M
coq_8.15.0+dfsg-1.debian.tar.xz 2022-01-17 16:02 39K
coq_8.15.0+dfsg-1.dsc 2022-01-17 16:02 2.5K
coq_8.15.0+dfsg-1_armhf.deb 2022-02-03 11:08 71M
coq_8.15.0+dfsg-2.debian.tar.xz 2022-02-05 00:03 39K
coq_8.15.0+dfsg-2.dsc 2022-02-05 00:03 2.5K
coq_8.15.0+dfsg-2_armhf.deb 2022-02-08 23:08 72M
coq_8.15.0+dfsg.orig.tar.xz 2022-01-17 16:02 4.5M
coq_8.15.1+dfsg-1.debian.tar.xz 2022-03-22 23:17 39K
coq_8.15.1+dfsg-1.dsc 2022-03-22 23:17 2.5K
coq_8.15.1+dfsg-1_armhf.deb 2022-04-23 17:29 72M
coq_8.15.1+dfsg.orig.tar.xz 2022-03-22 23:17 4.5M
coq_8.15.2+dfsg-2.debian.tar.xz 2022-06-11 22:44 39K
coq_8.15.2+dfsg-2.dsc 2022-06-11 22:44 2.5K
coq_8.15.2+dfsg-2_armhf.deb 2022-07-10 11:09 72M
coq_8.15.2+dfsg.orig.tar.xz 2022-05-31 21:52 4.5M
coq_8.16.0+dfsg-1.debian.tar.xz 2022-09-06 11:04 33K
coq_8.16.0+dfsg-1.dsc 2022-09-06 11:04 2.6K
coq_8.16.0+dfsg-1_armhf.deb 2022-09-17 12:08 83M
coq_8.16.0+dfsg.orig.tar.xz 2022-09-06 11:04 4.5M
coq_8.16.1+dfsg-1+b1_armhf.deb 2023-02-02 20:58 83M
coq_8.16.1+dfsg-1+b2_armhf.deb 2023-05-20 18:08 83M
coq_8.16.1+dfsg-1.debian.tar.xz 2022-11-29 09:35 32K
coq_8.16.1+dfsg-1.dsc 2022-11-29 09:35 2.6K
coq_8.16.1+dfsg-1_armhf.deb 2022-12-02 05:08 83M
coq_8.16.1+dfsg.orig.tar.xz 2022-11-29 09:35 4.5M
coq_8.17.0+dfsg-1+b1_armhf.deb 2023-10-20 06:08 72M
coq_8.17.0+dfsg-1.debian.tar.xz 2023-06-12 09:05 32K
coq_8.17.0+dfsg-1.dsc 2023-06-12 09:05 2.6K
coq_8.17.0+dfsg-1_armhf.deb 2023-09-14 21:36 70M
coq_8.17.0+dfsg.orig.tar.xz 2023-06-12 09:05 4.6M
coq_8.18.0+dfsg-1+b1_armhf.deb 2024-06-18 06:08 73M
coq_8.18.0+dfsg-1.debian.tar.xz 2023-12-21 14:58 32K
coq_8.18.0+dfsg-1.dsc 2023-12-21 14:58 2.5K
coq_8.18.0+dfsg-1_armhf.deb 2024-01-23 11:08 73M
coq_8.18.0+dfsg.orig.tar.xz 2023-12-21 14:58 4.6M
coq_8.19.1+dfsg-2+b1_armhf.deb 2024-09-04 06:08 74M
coq_8.19.1+dfsg-2.debian.tar.xz 2024-06-15 08:05 32K
coq_8.19.1+dfsg-2.dsc 2024-06-15 08:05 2.3K
coq_8.19.1+dfsg-2_armhf.deb 2024-06-24 12:08 74M
coq_8.19.1+dfsg-3.debian.tar.xz 2024-08-03 09:53 32K
coq_8.19.1+dfsg-3.dsc 2024-08-03 09:53 2.3K
coq_8.19.1+dfsg-3_armhf.deb 2024-09-05 00:08 74M
coq_8.19.1+dfsg.orig.tar.bz2 2024-04-26 15:46 5.3M
coq_8.20.0+dfsg-1.debian.tar.xz 2024-11-20 10:52 29K
coq_8.20.0+dfsg-1.dsc 2024-11-20 10:52 2.5K
coq_8.20.0+dfsg.orig.tar.xz 2024-11-20 10:52 4.8M
coq_8.3.pl4+dfsg-2.debian.tar.gz 2012-06-06 08:32 16K
coq_8.3.pl4+dfsg-2.dsc 2012-06-06 08:32 2.3K
coq_8.3.pl4+dfsg-2_armhf.deb 2012-06-23 04:56 1.7M
coq_8.3.pl4+dfsg.orig.tar.gz 2012-04-19 02:00 3.0M
coq_8.4pl4dfsg-1.debian.tar.xz 2014-07-27 17:26 15K
coq_8.4pl4dfsg-1.dsc 2014-07-27 17:26 2.3K
coq_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 3.7M
coq_8.4pl4dfsg.orig.tar.gz 2014-07-27 17:26 3.4M
coq_8.6-4+b2_armhf.deb 2017-08-09 12:08 13M
coq_8.6-4.debian.tar.xz 2016-12-30 01:56 21K
coq_8.6-4.dsc 2016-12-30 01:56 2.3K
coq_8.6-4_armhf.deb 2017-01-17 03:52 13M
coq_8.6-5.debian.tar.xz 2017-09-26 12:04 21K
coq_8.6-5.dsc 2017-09-26 12:04 2.4K
coq_8.6-5_armhf.deb 2018-01-09 17:08 16M
coq_8.6.orig.tar.gz 2016-12-28 14:44 4.8M
coq_8.9.0-1+b1_armhf.deb 2019-07-31 18:08 53M
coq_8.9.0-1+b2_armhf.deb 2019-08-09 18:08 53M
coq_8.9.0-1.debian.tar.xz 2019-02-06 19:49 27K
coq_8.9.0-1.dsc 2019-02-06 19:49 2.4K
coq_8.9.0-1_armhf.deb 2019-02-25 11:08 53M
coq_8.9.0.orig.tar.gz 2019-02-06 19:49 5.1M
coq_8.9.1-1.debian.tar.xz 2019-08-20 05:27 29K
coq_8.9.1-1.dsc 2019-08-20 05:27 2.1K
coq_8.9.1-1_armhf.deb 2019-09-05 06:08 53M
coq_8.9.1-2+b1_armhf.deb 2019-12-08 23:08 56M
coq_8.9.1-2+b2_armhf.deb 2020-01-03 23:08 56M
coq_8.9.1-2.debian.tar.xz 2019-11-08 17:20 29K
coq_8.9.1-2.dsc 2019-11-08 17:20 2.1K
coq_8.9.1-2_armhf.deb 2019-11-28 11:08 56M
coq_8.9.1-5+b1_armhf.deb 2020-02-18 00:30 63M
coq_8.9.1-5.debian.tar.xz 2020-01-29 08:38 31K
coq_8.9.1-5.dsc 2020-01-29 08:38 2.4K
coq_8.9.1-5_armhf.deb 2020-02-01 11:08 63M
coq_8.9.1.orig.tar.gz 2019-08-20 05:27 5.1M
coqide_8.12.0-3+b1_armhf.deb 2020-11-10 09:05 1.6M
coqide_8.12.0-3+b2_armhf.deb 2020-12-03 18:49 1.6M
coqide_8.12.0-3_armhf.deb 2020-10-23 04:45 1.5M
coqide_8.14.1+dfsg-1_armhf.deb 2022-01-11 11:08 1.6M
coqide_8.15.0+dfsg-1+b1_armhf.deb 2022-02-06 03:43 1.6M
coqide_8.15.0+dfsg-1_armhf.deb 2022-02-03 11:08 1.6M
coqide_8.15.0+dfsg-2_armhf.deb 2022-02-08 23:08 1.6M
coqide_8.15.1+dfsg-1_armhf.deb 2022-04-23 17:29 1.7M
coqide_8.15.2+dfsg-2_armhf.deb 2022-07-10 11:09 1.7M
coqide_8.16.0+dfsg-1_armhf.deb 2022-09-17 12:08 1.7M
coqide_8.16.1+dfsg-1+b1_armhf.deb 2023-02-02 20:58 1.6M
coqide_8.16.1+dfsg-1+b2_armhf.deb 2023-05-20 18:08 1.7M
coqide_8.16.1+dfsg-1_armhf.deb 2022-12-02 05:08 1.7M
coqide_8.17.0+dfsg-1+b1_armhf.deb 2023-10-20 06:08 1.7M
coqide_8.17.0+dfsg-1_armhf.deb 2023-09-14 21:36 1.7M
coqide_8.18.0+dfsg-1+b1_armhf.deb 2024-06-18 06:08 1.7M
coqide_8.18.0+dfsg-1_armhf.deb 2024-01-23 11:08 1.7M
coqide_8.19.1+dfsg-2+b1_armhf.deb 2024-09-04 06:08 1.7M
coqide_8.19.1+dfsg-2_armhf.deb 2024-06-24 12:08 1.7M
coqide_8.19.1+dfsg-3_armhf.deb 2024-09-05 00:08 1.7M
coqide_8.3.pl4+dfsg-2_armhf.deb 2012-06-23 04:56 2.4M
coqide_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 777K
coqide_8.6-4+b2_armhf.deb 2017-08-09 12:08 1.5M
coqide_8.6-4_armhf.deb 2017-01-17 03:52 1.3M
coqide_8.6-5_armhf.deb 2018-01-09 17:08 1.3M
coqide_8.9.1-5+b1_armhf.deb 2020-02-18 00:30 1.6M
coqide_8.9.1-5_armhf.deb 2020-02-01 11:08 1.6M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb 2022-02-08 23:08 38M
libcoq-core-ocaml-dev_8.15.1+dfsg-1_armhf.deb 2022-04-23 17:29 38M
libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb 2022-07-10 11:09 41M
libcoq-core-ocaml-dev_8.16.0+dfsg-1_armhf.deb 2022-09-17 12:08 42M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_armhf.deb 2023-02-02 20:58 41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 2023-05-20 18:08 41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1_armhf.deb 2022-12-02 05:08 41M
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b1_armhf.deb 2023-10-20 06:08 42M
libcoq-core-ocaml-dev_8.17.0+dfsg-1_armhf.deb 2023-09-14 21:36 41M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_armhf.deb 2024-06-18 06:08 43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb 2024-01-23 11:08 43M
libcoq-core-ocaml-dev_8.19.1+dfsg-2+b1_armhf.deb 2024-09-04 06:08 44M
libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb 2024-06-24 12:08 44M
libcoq-core-ocaml-dev_8.19.1+dfsg-3_armhf.deb 2024-09-05 00:08 44M
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb 2022-02-08 23:08 21M
libcoq-core-ocaml_8.15.1+dfsg-1_armhf.deb 2022-04-23 17:29 21M
libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb 2022-07-10 11:09 21M
libcoq-core-ocaml_8.16.0+dfsg-1_armhf.deb 2022-09-17 12:08 21M
libcoq-core-ocaml_8.16.1+dfsg-1+b1_armhf.deb 2023-02-02 20:58 21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 2023-05-20 18:08 21M
libcoq-core-ocaml_8.16.1+dfsg-1_armhf.deb 2022-12-02 05:08 21M
libcoq-core-ocaml_8.17.0+dfsg-1+b1_armhf.deb 2023-10-20 06:08 21M
libcoq-core-ocaml_8.17.0+dfsg-1_armhf.deb 2023-09-14 21:36 21M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_armhf.deb 2024-06-18 06:08 22M
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb 2024-01-23 11:08 22M
libcoq-core-ocaml_8.19.1+dfsg-2+b1_armhf.deb 2024-09-04 06:08 22M
libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb 2024-06-24 12:08 22M
libcoq-core-ocaml_8.19.1+dfsg-3_armhf.deb 2024-09-05 00:08 22M
libcoq-ocaml-dev_8.12.0-3+b1_armhf.deb 2020-11-10 09:05 18M
libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb 2020-12-03 18:49 18M
libcoq-ocaml-dev_8.12.0-3_armhf.deb 2020-10-23 04:45 16M
libcoq-ocaml-dev_8.14.1+dfsg-1_armhf.deb 2022-01-11 11:08 38M
libcoq-ocaml-dev_8.15.0+dfsg-1+b1_armhf.deb 2022-02-06 03:43 38M
libcoq-ocaml-dev_8.15.0+dfsg-1_armhf.deb 2022-02-03 11:08 38M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb 2012-06-23 04:56 2.4M
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 3.8M
libcoq-ocaml-dev_8.6-4+b2_armhf.deb 2017-08-09 12:08 13M
libcoq-ocaml-dev_8.6-4_armhf.deb 2017-01-17 03:52 13M
libcoq-ocaml-dev_8.6-5_armhf.deb 2018-01-09 17:08 14M
libcoq-ocaml-dev_8.9.0-1+b1_armhf.deb 2019-07-31 18:08 14M
libcoq-ocaml-dev_8.9.0-1+b2_armhf.deb 2019-08-09 18:08 14M
libcoq-ocaml-dev_8.9.0-1_armhf.deb 2019-02-25 11:08 14M
libcoq-ocaml-dev_8.9.1-1_armhf.deb 2019-09-05 06:08 14M
libcoq-ocaml-dev_8.9.1-2+b1_armhf.deb 2019-12-08 23:08 14M
libcoq-ocaml-dev_8.9.1-2+b2_armhf.deb 2020-01-03 23:08 14M
libcoq-ocaml-dev_8.9.1-2_armhf.deb 2019-11-28 11:08 14M
libcoq-ocaml-dev_8.9.1-5+b1_armhf.deb 2020-02-18 00:30 15M
libcoq-ocaml-dev_8.9.1-5_armhf.deb 2020-02-01 11:08 15M
libcoq-ocaml_8.12.0-3+b1_armhf.deb 2020-11-10 09:05 7.3M
libcoq-ocaml_8.12.0-3+b2_armhf.deb 2020-12-03 18:49 7.3M
libcoq-ocaml_8.12.0-3_armhf.deb 2020-10-23 04:45 6.3M
libcoq-ocaml_8.14.1+dfsg-1_armhf.deb 2022-01-11 11:08 21M
libcoq-ocaml_8.15.0+dfsg-1+b1_armhf.deb 2022-02-06 03:43 21M
libcoq-ocaml_8.15.0+dfsg-1_armhf.deb 2022-02-03 11:08 21M
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb 2012-06-23 04:56 521K
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 2014-08-13 13:18 1.5M
libcoq-ocaml_8.6-4+b2_armhf.deb 2017-08-09 12:08 3.4M
libcoq-ocaml_8.6-4_armhf.deb 2017-01-17 03:52 3.4M
libcoq-ocaml_8.6-5_armhf.deb 2018-01-09 17:08 3.4M
libcoq-ocaml_8.9.0-1+b1_armhf.deb 2019-07-31 18:08 5.1M
libcoq-ocaml_8.9.0-1+b2_armhf.deb 2019-08-09 18:08 5.1M
libcoq-ocaml_8.9.0-1_armhf.deb 2019-02-25 11:08 5.1M
libcoq-ocaml_8.9.1-1_armhf.deb 2019-09-05 06:08 5.1M
libcoq-ocaml_8.9.1-2+b1_armhf.deb 2019-12-08 23:08 5.3M
libcoq-ocaml_8.9.1-2+b2_armhf.deb 2020-01-03 23:08 5.3M
libcoq-ocaml_8.9.1-2_armhf.deb 2019-11-28 11:08 5.3M
libcoq-ocaml_8.9.1-5+b1_armhf.deb 2020-02-18 00:30 5.3M
libcoq-ocaml_8.9.1-5_armhf.deb 2020-02-01 11:08 5.3M
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb 2022-02-08 23:08 20M
libcoq-stdlib_8.15.1+dfsg-1_armhf.deb 2022-04-23 17:29 20M
libcoq-stdlib_8.15.2+dfsg-2_armhf.deb 2022-07-10 11:09 20M
libcoq-stdlib_8.16.0+dfsg-1_armhf.deb 2022-09-17 12:08 21M
libcoq-stdlib_8.16.1+dfsg-1+b1_armhf.deb 2023-02-02 20:58 21M
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 2023-05-20 18:08 21M
libcoq-stdlib_8.16.1+dfsg-1_armhf.deb 2022-12-02 05:08 21M
libcoq-stdlib_8.17.0+dfsg-1+b1_armhf.deb 2023-10-20 06:08 24M
libcoq-stdlib_8.17.0+dfsg-1_armhf.deb 2023-09-14 21:36 24M
libcoq-stdlib_8.18.0+dfsg-1+b1_armhf.deb 2024-06-18 06:08 22M
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb 2024-01-23 11:08 22M
libcoq-stdlib_8.19.1+dfsg-2+b1_armhf.deb 2024-09-04 06:08 23M
libcoq-stdlib_8.19.1+dfsg-2_armhf.deb 2024-06-24 12:08 23M
libcoq-stdlib_8.19.1+dfsg-3_armhf.deb 2024-09-05 00:08 23M