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.17.0-1build2.debian.tar.xz 16-Feb-2023 10:06 3624 aac-tactics_8.17.0-1build2.dsc 16-Feb-2023 10:06 2107 aac-tactics_8.17.0-2build1.debian.tar.xz 24-Jul-2023 17:37 3732 aac-tactics_8.17.0-2build1.dsc 24-Jul-2023 17:37 2107 aac-tactics_8.17.0.orig.tar.gz 04-Jan-2023 23:34 75677 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.0-1.debian.tar.xz 03-May-2024 01:55 3728 aac-tactics_8.19.0-1.dsc 03-May-2024 01:55 2104 aac-tactics_8.19.0.orig.tar.gz 03-May-2024 01:55 76453 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.17.0-1build2_amd64.deb 16-Feb-2023 12:57 425466 libcoq-aac-tactics_8.17.0-2build1_amd64.deb 24-Jul-2023 20:24 425318 libcoq-aac-tactics_8.18.0-1build3_amd64.deb 08-Apr-2024 07:57 421676 libcoq-aac-tactics_8.19.0-1_amd64.deb 03-May-2024 01:56 430688
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.