The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /raspbian/raspbian/pool/main/c/coq/

../
coq-theories_8.12.0-3+b2_armhf.deb                 03-Dec-2020 17:49            23922776
coq-theories_8.9.0-1_armhf.deb                     25-Feb-2019 10:08            20350056
coq_8.12.0-3+b2_armhf.deb                          03-Dec-2020 17:49            86025776
coq_8.12.0-3.debian.tar.xz                         10-Sep-2020 06:38               37772
coq_8.12.0-3.dsc                                   10-Sep-2020 06:38                2483
coq_8.12.0.orig.tar.gz                             22-Aug-2020 09:26             6008211
coq_8.16.1+dfsg-1+b2_armhf.deb                     20-May-2023 16:08            86586616
coq_8.16.1+dfsg-1.debian.tar.xz                    29-Nov-2022 08:35               33236
coq_8.16.1+dfsg-1.dsc                              29-Nov-2022 08:35                2629
coq_8.16.1+dfsg.orig.tar.xz                        29-Nov-2022 08:35             4717668
coq_8.18.0+dfsg-1.debian.tar.xz                    21-Dec-2023 13:58               33160
coq_8.18.0+dfsg-1.dsc                              21-Dec-2023 13:58                2570
coq_8.18.0+dfsg-1_armhf.deb                        23-Jan-2024 10:08            76076012
coq_8.18.0+dfsg.orig.tar.xz                        21-Dec-2023 13:58             4868368
coq_8.9.0-1.debian.tar.xz                          06-Feb-2019 18:49               27816
coq_8.9.0-1.dsc                                    06-Feb-2019 18:49                2417
coq_8.9.0-1_armhf.deb                              25-Feb-2019 10:08            55637572
coq_8.9.0.orig.tar.gz                              06-Feb-2019 18:49             5395769
coqide_8.12.0-3+b2_armhf.deb                       03-Dec-2020 17:49             1640556
coqide_8.16.1+dfsg-1+b2_armhf.deb                  20-May-2023 16:08             1732972
coqide_8.18.0+dfsg-1_armhf.deb                     23-Jan-2024 10:08             1741440
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   20-May-2023 16:08            43043540
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb      23-Jan-2024 10:08            44700712
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       20-May-2023 16:08            22121064
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb          23-Jan-2024 10:08            22765528
libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb             03-Dec-2020 17:49            19075512
libcoq-ocaml-dev_8.9.0-1_armhf.deb                 25-Feb-2019 10:08            14303792
libcoq-ocaml_8.12.0-3+b2_armhf.deb                 03-Dec-2020 17:49             7674492
libcoq-ocaml_8.9.0-1_armhf.deb                     25-Feb-2019 10:08             5325948
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           20-May-2023 16:08            21525680
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb              23-Jan-2024 10:08            23232312

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.