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-3.debian.tar.xz 14-Sep-2024 20:34 2652 haskell-simple-smt_0.9.7-3.dsc 14-Sep-2024 20:34 2357 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-3_amd64.deb 14-Sep-2024 22:04 102396 libghc-simple-smt-dev_0.9.7-3_arm64.deb 14-Sep-2024 22:21 103228 libghc-simple-smt-dev_0.9.7-3_i386.deb 14-Sep-2024 22:32 147912 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-3_all.deb 14-Sep-2024 22:21 73944 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-3_amd64.deb 14-Sep-2024 22:04 94124 libghc-simple-smt-prof_0.9.7-3_arm64.deb 14-Sep-2024 22:21 103032 libghc-simple-smt-prof_0.9.7-3_i386.deb 14-Sep-2024 22:32 123828
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.