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-smtlib_1.0.7-3.debian.tar.xz 04-Dec-2015 11:25 2032 haskell-smtlib_1.0.7-3.dsc 04-Dec-2015 11:25 2286 haskell-smtlib_1.0.7.orig.tar.gz 23-Oct-2015 22:45 9484 haskell-smtlib_1.0.8-3build1.debian.tar.xz 24-Jan-2017 10:50 2280 haskell-smtlib_1.0.8-3build1.dsc 24-Jan-2017 10:50 2197 haskell-smtlib_1.0.8.orig.tar.gz 03-Jun-2016 11:46 9533 haskell-smtlib_1.0.9-2build1.debian.tar.xz 03-Aug-2019 11:13 2572 haskell-smtlib_1.0.9-2build1.dsc 03-Aug-2019 11:13 2232 haskell-smtlib_1.0.9.orig.tar.gz 03-Jul-2018 17:13 9583 haskell-smtlib_1.1-1build2.debian.tar.xz 30-Oct-2020 02:20 2692 haskell-smtlib_1.1-1build2.dsc 30-Oct-2020 02:20 2334 haskell-smtlib_1.1-2build2.debian.tar.xz 09-Dec-2022 13:32 2636 haskell-smtlib_1.1-2build2.dsc 09-Dec-2022 13:32 2218 haskell-smtlib_1.1-3.debian.tar.xz 04-Nov-2023 17:07 2604 haskell-smtlib_1.1-3.dsc 04-Nov-2023 17:07 2223 haskell-smtlib_1.1-3build1.debian.tar.xz 15-May-2024 08:39 2664 haskell-smtlib_1.1-3build1.dsc 15-May-2024 08:39 2218 haskell-smtlib_1.1-4.debian.tar.xz 21-Oct-2024 05:08 2624 haskell-smtlib_1.1-4.dsc 21-Oct-2024 05:08 2225 haskell-smtlib_1.1.orig.tar.gz 08-Jun-2020 23:18 9667 libghc-smtlib-dev_1.0.7-3_arm64.deb 05-Dec-2015 19:39 313588 libghc-smtlib-dev_1.0.7-3_armhf.deb 05-Dec-2015 16:05 315172 libghc-smtlib-dev_1.0.8-3build1_arm64.deb 24-Jan-2017 11:46 608214 libghc-smtlib-dev_1.0.8-3build1_armhf.deb 24-Jan-2017 11:47 600842 libghc-smtlib-dev_1.0.9-2build1_arm64.deb 03-Aug-2019 11:33 603856 libghc-smtlib-dev_1.0.9-2build1_armhf.deb 03-Aug-2019 11:33 582392 libghc-smtlib-dev_1.1-1build2_arm64.deb 30-Oct-2020 03:11 613020 libghc-smtlib-dev_1.1-1build2_armhf.deb 30-Oct-2020 04:08 584448 libghc-smtlib-dev_1.1-2build2_arm64.deb 09-Dec-2022 15:40 727032 libghc-smtlib-dev_1.1-2build2_armhf.deb 09-Dec-2022 15:40 646510 libghc-smtlib-dev_1.1-3_arm64.deb 04-Nov-2023 18:17 524596 libghc-smtlib-dev_1.1-3_armhf.deb 04-Nov-2023 18:17 605380 libghc-smtlib-dev_1.1-3build1_arm64.deb 15-May-2024 19:05 526090 libghc-smtlib-dev_1.1-3build1_armhf.deb 15-May-2024 19:05 604176 libghc-smtlib-dev_1.1-4_arm64.deb 21-Oct-2024 05:11 491438 libghc-smtlib-dev_1.1-4_armhf.deb 21-Oct-2024 05:59 572010 libghc-smtlib-doc_1.0.7-3_all.deb 05-Dec-2015 15:05 44960 libghc-smtlib-doc_1.0.8-3build1_all.deb 24-Jan-2017 11:44 50894 libghc-smtlib-doc_1.0.9-2build1_all.deb 03-Aug-2019 11:24 68084 libghc-smtlib-doc_1.1-1build2_all.deb 30-Oct-2020 02:25 82596 libghc-smtlib-doc_1.1-2build2_all.deb 09-Dec-2022 13:32 82144 libghc-smtlib-doc_1.1-3_all.deb 04-Nov-2023 17:07 82856 libghc-smtlib-doc_1.1-3build1_all.deb 15-May-2024 09:25 82926 libghc-smtlib-doc_1.1-4_all.deb 21-Oct-2024 05:09 82558 libghc-smtlib-prof_1.0.7-3_arm64.deb 05-Dec-2015 19:39 225140 libghc-smtlib-prof_1.0.7-3_armhf.deb 05-Dec-2015 16:05 222164 libghc-smtlib-prof_1.0.8-3build1_arm64.deb 24-Jan-2017 11:46 472188 libghc-smtlib-prof_1.0.8-3build1_armhf.deb 24-Jan-2017 11:47 477910 libghc-smtlib-prof_1.0.9-2build1_arm64.deb 03-Aug-2019 11:33 457968 libghc-smtlib-prof_1.0.9-2build1_armhf.deb 03-Aug-2019 11:33 443184 libghc-smtlib-prof_1.1-1build2_arm64.deb 30-Oct-2020 03:11 458100 libghc-smtlib-prof_1.1-1build2_armhf.deb 30-Oct-2020 04:08 448776 libghc-smtlib-prof_1.1-2build2_arm64.deb 09-Dec-2022 15:40 668746 libghc-smtlib-prof_1.1-2build2_armhf.deb 09-Dec-2022 15:40 622504 libghc-smtlib-prof_1.1-3_arm64.deb 04-Nov-2023 18:17 523534 libghc-smtlib-prof_1.1-3_armhf.deb 04-Nov-2023 18:17 593822 libghc-smtlib-prof_1.1-3build1_arm64.deb 15-May-2024 19:05 523520 libghc-smtlib-prof_1.1-3build1_armhf.deb 15-May-2024 19:05 593478 libghc-smtlib-prof_1.1-4_arm64.deb 21-Oct-2024 05:11 502140 libghc-smtlib-prof_1.1-4_armhf.deb 21-Oct-2024 05:59 559090
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.