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.
../ aac-tactics_0.4-2.debian.tar.xz 20-Jan-2014 11:09 2884 aac-tactics_0.4-2.dsc 20-Jan-2014 11:09 2191 aac-tactics_0.4-5build2.debian.tar.xz 05-Nov-2015 00:30 3076 aac-tactics_0.4-5build2.dsc 05-Nov-2015 00:30 1914 aac-tactics_0.4.orig.tar.gz 06-Dec-2013 17:23 77336 aac-tactics_8.11.0-1.debian.tar.xz 18-Mar-2020 18:28 3520 aac-tactics_8.11.0-1.dsc 18-Mar-2020 18:28 2178 aac-tactics_8.11.0.orig.tar.gz 18-Mar-2020 18:28 65363 aac-tactics_8.15.0-1.debian.tar.xz 06-Feb-2022 17:19 3600 aac-tactics_8.15.0-1.dsc 06-Feb-2022 17:19 2209 aac-tactics_8.15.0.orig.tar.gz 06-Feb-2022 17:19 68103 aac-tactics_8.18.0-1build3.debian.tar.xz 08-Apr-2024 07:57 3904 aac-tactics_8.18.0-1build3.dsc 08-Apr-2024 07:57 2182 aac-tactics_8.18.0.orig.tar.gz 21-Dec-2023 23:52 75607 aac-tactics_8.19.1-2build3.debian.tar.xz 07-Sep-2024 15:43 3920 aac-tactics_8.19.1-2build3.dsc 07-Sep-2024 15:43 2103 aac-tactics_8.19.1.orig.tar.gz 11-Jun-2024 17:54 76986 aac-tactics_8.20.0-1.debian.tar.xz 20-Nov-2024 18:47 3808 aac-tactics_8.20.0-1.dsc 20-Nov-2024 18:47 2104 aac-tactics_8.20.0-1build1.debian.tar.xz 30-Jan-2025 21:56 3872 aac-tactics_8.20.0-1build1.dsc 30-Jan-2025 21:56 2103 aac-tactics_8.20.0.orig.tar.gz 20-Nov-2024 18:47 77668 aac-tactics_8.6.1-2.debian.tar.xz 01-Nov-2017 13:05 3248 aac-tactics_8.6.1-2.dsc 01-Nov-2017 13:05 2238 aac-tactics_8.6.1.orig.tar.gz 30-Dec-2016 17:13 75073 libaac-tactics-coq_0.4-2_all.deb 20-Jan-2014 11:33 212528 libaac-tactics-coq_0.4-5build2_all.deb 05-Nov-2015 00:33 212712 libaac-tactics-coq_8.11.0-1_all.deb 18-Mar-2020 19:48 243456 libaac-tactics-coq_8.15.0-1_all.deb 06-Feb-2022 19:04 289098 libaac-tactics-coq_8.6.1-2_all.deb 01-Nov-2017 13:05 220796 libaac-tactics-ocaml-dev_0.4-2_amd64.deb 20-Jan-2014 11:33 43922 libaac-tactics-ocaml-dev_0.4-2_i386.deb 20-Jan-2014 11:33 44374 libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 05-Nov-2015 00:33 44036 libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 05-Nov-2015 00:34 44028 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 18-Mar-2020 19:48 38624 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 06-Feb-2022 19:04 40776 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 01-Nov-2017 13:05 37684 libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 01-Nov-2017 13:05 37688 libaac-tactics-ocaml_0.4-2_amd64.deb 20-Jan-2014 11:33 128116 libaac-tactics-ocaml_0.4-2_i386.deb 20-Jan-2014 11:33 116964 libaac-tactics-ocaml_0.4-5build2_amd64.deb 05-Nov-2015 00:33 119986 libaac-tactics-ocaml_0.4-5build2_i386.deb 05-Nov-2015 00:34 111950 libaac-tactics-ocaml_8.11.0-1_amd64.deb 18-Mar-2020 19:48 106896 libaac-tactics-ocaml_8.15.0-1_amd64.deb 06-Feb-2022 19:04 130790 libaac-tactics-ocaml_8.6.1-2_amd64.deb 01-Nov-2017 13:05 120296 libaac-tactics-ocaml_8.6.1-2_i386.deb 01-Nov-2017 13:05 110796 libcoq-aac-tactics_8.18.0-1build3_amd64.deb 08-Apr-2024 07:57 421676 libcoq-aac-tactics_8.19.1-2build3_amd64.deb 07-Sep-2024 15:44 440136 libcoq-aac-tactics_8.20.0-1_amd64.deb 20-Nov-2024 21:31 430950
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.