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.9.1-1.debian.tar.xz 30-Sep-2018 10:59 2500 haskell-simple-smt_0.9.1-1.dsc 30-Sep-2018 10:59 2351 haskell-simple-smt_0.9.1.orig.tar.gz 30-Sep-2018 10:59 8816 haskell-simple-smt_0.9.5-1.debian.tar.xz 17-Aug-2020 14:46 2540 haskell-simple-smt_0.9.5-1.dsc 17-Aug-2020 14:46 2351 haskell-simple-smt_0.9.5.orig.tar.gz 17-Aug-2020 14:46 9315 haskell-simple-smt_0.9.7-1.debian.tar.xz 03-Jul-2022 01:18 2556 haskell-simple-smt_0.9.7-1.dsc 03-Jul-2022 01:18 2350 haskell-simple-smt_0.9.7-2.debian.tar.xz 27-Aug-2023 10:17 2628 haskell-simple-smt_0.9.7-2.dsc 27-Aug-2023 10:17 2355 haskell-simple-smt_0.9.7.orig.tar.gz 03-Jul-2022 01:18 10177 libghc-simple-smt-dev_0.9.1-1+b2_amd64.deb 03-Dec-2018 16:14 98140 libghc-simple-smt-dev_0.9.1-1+b2_arm64.deb 03-Dec-2018 15:58 110292 libghc-simple-smt-dev_0.9.1-1+b2_i386.deb 03-Dec-2018 15:58 94980 libghc-simple-smt-dev_0.9.5-1_amd64.deb 17-Aug-2020 15:27 99908 libghc-simple-smt-dev_0.9.5-1_arm64.deb 17-Aug-2020 15:27 113696 libghc-simple-smt-dev_0.9.5-1_i386.deb 17-Aug-2020 15:17 97216 libghc-simple-smt-dev_0.9.7-1+b1_arm64.deb 25-Sep-2022 15:44 145236 libghc-simple-smt-dev_0.9.7-1+b1_i386.deb 25-Sep-2022 17:13 156296 libghc-simple-smt-dev_0.9.7-1+b2_amd64.deb 25-Sep-2022 15:28 106656 libghc-simple-smt-dev_0.9.7-2+b1_amd64.deb 20-Oct-2023 09:59 110568 libghc-simple-smt-dev_0.9.7-2+b1_arm64.deb 20-Oct-2023 14:55 111860 libghc-simple-smt-dev_0.9.7-2+b1_i386.deb 20-Oct-2023 09:58 163392 libghc-simple-smt-doc_0.9.1-1_all.deb 30-Sep-2018 11:44 63608 libghc-simple-smt-doc_0.9.5-1_all.deb 17-Aug-2020 15:17 69944 libghc-simple-smt-doc_0.9.7-1_all.deb 03-Jul-2022 01:44 73036 libghc-simple-smt-doc_0.9.7-2_all.deb 27-Aug-2023 11:56 73596 libghc-simple-smt-prof_0.9.1-1+b2_amd64.deb 03-Dec-2018 16:14 81048 libghc-simple-smt-prof_0.9.1-1+b2_arm64.deb 03-Dec-2018 15:58 89336 libghc-simple-smt-prof_0.9.1-1+b2_i386.deb 03-Dec-2018 15:58 81040 libghc-simple-smt-prof_0.9.5-1_amd64.deb 17-Aug-2020 15:27 82940 libghc-simple-smt-prof_0.9.5-1_arm64.deb 17-Aug-2020 15:27 91616 libghc-simple-smt-prof_0.9.5-1_i386.deb 17-Aug-2020 15:17 83260 libghc-simple-smt-prof_0.9.7-1+b1_arm64.deb 25-Sep-2022 15:44 132408 libghc-simple-smt-prof_0.9.7-1+b1_i386.deb 25-Sep-2022 17:13 121412 libghc-simple-smt-prof_0.9.7-1+b2_amd64.deb 25-Sep-2022 15:28 90564 libghc-simple-smt-prof_0.9.7-2+b1_amd64.deb 20-Oct-2023 09:59 93012 libghc-simple-smt-prof_0.9.7-2+b1_arm64.deb 20-Oct-2023 14:55 106680 libghc-simple-smt-prof_0.9.7-2+b1_i386.deb 20-Oct-2023 09:58 128668
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.