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.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_arm64.deb 20-Jan-2014 11:33 44122 libaac-tactics-ocaml-dev_0.4-2_armhf.deb 20-Jan-2014 11:33 44218 libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb 05-Nov-2015 00:34 43820 libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb 05-Nov-2015 00:34 43674 libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb 18-Mar-2020 19:48 38624 libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb 06-Feb-2022 19:05 40778 libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb 06-Feb-2022 19:05 40778 libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb 01-Nov-2017 13:05 37684 libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb 01-Nov-2017 14:20 37688 libaac-tactics-ocaml_0.4-2_arm64.deb 20-Jan-2014 11:33 27248 libaac-tactics-ocaml_0.4-2_armhf.deb 20-Jan-2014 11:33 124330 libaac-tactics-ocaml_0.4-5build2_arm64.deb 05-Nov-2015 00:34 113510 libaac-tactics-ocaml_0.4-5build2_armhf.deb 05-Nov-2015 00:34 118242 libaac-tactics-ocaml_8.11.0-1_arm64.deb 18-Mar-2020 19:48 120716 libaac-tactics-ocaml_8.15.0-1_arm64.deb 06-Feb-2022 19:05 150140 libaac-tactics-ocaml_8.15.0-1_armhf.deb 06-Feb-2022 19:05 131270 libaac-tactics-ocaml_8.6.1-2_arm64.deb 01-Nov-2017 13:05 136604 libaac-tactics-ocaml_8.6.1-2_armhf.deb 01-Nov-2017 14:20 117124 libcoq-aac-tactics_8.18.0-1build3_arm64.deb 08-Apr-2024 07:57 439074 libcoq-aac-tactics_8.18.0-1build3_armhf.deb 08-Apr-2024 07:57 421280 libcoq-aac-tactics_8.19.1-2build3_arm64.deb 07-Sep-2024 15:44 455698 libcoq-aac-tactics_8.20.0-1_arm64.deb 20-Nov-2024 21:31 445920
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.