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.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-4.debian.tar.xz 05-Jan-2026 16:03 2628 haskell-simple-smt_0.9.7-4.dsc 05-Jan-2026 16:03 2378 haskell-simple-smt_0.9.7.orig.tar.gz 03-Jul-2022 01:18 10177 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+b1_amd64.deb 01-Feb-2025 19:56 99152 libghc-simple-smt-dev_0.9.7-3+b1_arm64.deb 14-Feb-2025 08:44 99276 libghc-simple-smt-dev_0.9.7-3+b1_i386.deb 14-Feb-2025 06:40 144128 libghc-simple-smt-dev_0.9.7-4_amd64.deb 05-Jan-2026 17:01 99492 libghc-simple-smt-dev_0.9.7-4_arm64.deb 05-Jan-2026 16:55 101160 libghc-simple-smt-dev_0.9.7-4_i386.deb 05-Jan-2026 17:22 98112 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-doc_0.9.7-4_all.deb 05-Jan-2026 17:00 70312 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+b1_amd64.deb 01-Feb-2025 19:56 89204 libghc-simple-smt-prof_0.9.7-3+b1_arm64.deb 14-Feb-2025 08:44 98468 libghc-simple-smt-prof_0.9.7-3+b1_i386.deb 14-Feb-2025 06:40 120004 libghc-simple-smt-prof_0.9.7-4_amd64.deb 05-Jan-2026 17:01 89528 libghc-simple-smt-prof_0.9.7-4_arm64.deb 05-Jan-2026 16:55 101876 libghc-simple-smt-prof_0.9.7-4_i386.deb 05-Jan-2026 17:22 90396
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.