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.
../ haskell-simple-smt_0.6.0-3build1.debian.tar.xz 24-Jan-2017 10:50 2268 haskell-simple-smt_0.6.0-3build1.dsc 24-Jan-2017 10:50 2307 haskell-simple-smt_0.6.0.orig.tar.gz 16-Jun-2016 12:04 7870 haskell-simple-smt_0.9.1-1build1.debian.tar.xz 03-Aug-2019 11:13 2572 haskell-simple-smt_0.9.1-1build1.dsc 03-Aug-2019 11:13 2346 haskell-simple-smt_0.9.1.orig.tar.gz 12-Dec-2018 09:34 8816 haskell-simple-smt_0.9.5-1build1.debian.tar.xz 30-Oct-2020 02:20 2640 haskell-simple-smt_0.9.5-1build1.dsc 30-Oct-2020 02:20 2462 haskell-simple-smt_0.9.5.orig.tar.gz 17-Aug-2020 23:18 9315 haskell-simple-smt_0.9.7-1build2.debian.tar.xz 09-Dec-2022 13:32 2648 haskell-simple-smt_0.9.7-1build2.dsc 09-Dec-2022 13:32 2349 haskell-simple-smt_0.9.7-2.debian.tar.xz 04-Nov-2023 17:07 2628 haskell-simple-smt_0.9.7-2.dsc 04-Nov-2023 17:07 2355 haskell-simple-smt_0.9.7-2build1.debian.tar.xz 15-May-2024 08:39 2692 haskell-simple-smt_0.9.7-2build1.dsc 15-May-2024 08:39 2350 haskell-simple-smt_0.9.7-3.debian.tar.xz 21-Oct-2024 05:08 2652 haskell-simple-smt_0.9.7-3.dsc 21-Oct-2024 05:08 2357 haskell-simple-smt_0.9.7.orig.tar.gz 03-Jul-2022 05:29 10177 libghc-simple-smt-dev_0.6.0-3build1_amd64.deb 24-Jan-2017 11:26 71584 libghc-simple-smt-dev_0.6.0-3build1_i386.deb 24-Jan-2017 11:29 68834 libghc-simple-smt-dev_0.9.1-1build1_amd64.deb 03-Aug-2019 11:24 92600 libghc-simple-smt-dev_0.9.5-1build1_amd64.deb 30-Oct-2020 02:25 96968 libghc-simple-smt-dev_0.9.7-1build2_amd64.deb 09-Dec-2022 13:32 111958 libghc-simple-smt-dev_0.9.7-2_amd64.deb 04-Nov-2023 17:07 116648 libghc-simple-smt-dev_0.9.7-2build1_amd64.deb 15-May-2024 09:25 116588 libghc-simple-smt-dev_0.9.7-3_amd64.deb 21-Oct-2024 05:09 106340 libghc-simple-smt-doc_0.6.0-3build1_all.deb 24-Jan-2017 11:26 35268 libghc-simple-smt-doc_0.9.1-1build1_all.deb 03-Aug-2019 11:24 52372 libghc-simple-smt-doc_0.9.5-1build1_all.deb 30-Oct-2020 02:25 58516 libghc-simple-smt-doc_0.9.7-1build2_all.deb 09-Dec-2022 13:32 60392 libghc-simple-smt-doc_0.9.7-2_all.deb 04-Nov-2023 17:07 61148 libghc-simple-smt-doc_0.9.7-2build1_all.deb 15-May-2024 09:25 61540 libghc-simple-smt-doc_0.9.7-3_all.deb 21-Oct-2024 05:09 61162 libghc-simple-smt-prof_0.6.0-3build1_amd64.deb 24-Jan-2017 11:26 66458 libghc-simple-smt-prof_0.6.0-3build1_i386.deb 24-Jan-2017 11:29 64920 libghc-simple-smt-prof_0.9.1-1build1_amd64.deb 03-Aug-2019 11:24 75104 libghc-simple-smt-prof_0.9.5-1build1_amd64.deb 30-Oct-2020 02:25 78884 libghc-simple-smt-prof_0.9.7-1build2_amd64.deb 09-Dec-2022 13:32 95176 libghc-simple-smt-prof_0.9.7-2_amd64.deb 04-Nov-2023 17:07 97908 libghc-simple-smt-prof_0.9.7-2build1_amd64.deb 15-May-2024 09:25 98048 libghc-simple-smt-prof_0.9.7-3_amd64.deb 21-Oct-2024 05:09 96490
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.