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.9-2.debian.tar.xz 30-Sep-2018 20:44 2508 haskell-smtlib_1.0.9-2.dsc 30-Sep-2018 20:44 2237 haskell-smtlib_1.0.9.orig.tar.gz 03-Jul-2018 12:32 9583 haskell-smtlib_1.1-1.debian.tar.xz 08-Jun-2020 15:17 2528 haskell-smtlib_1.1-1.dsc 08-Jun-2020 15:17 2223 haskell-smtlib_1.1-2.debian.tar.xz 29-Jun-2022 18:32 2556 haskell-smtlib_1.1-2.dsc 29-Jun-2022 18:32 2223 haskell-smtlib_1.1-3.debian.tar.xz 27-Aug-2023 10:17 2604 haskell-smtlib_1.1-3.dsc 27-Aug-2023 10:17 2223 haskell-smtlib_1.1.orig.tar.gz 08-Jun-2020 15:17 9667 libghc-smtlib-dev_1.0.9-2+b2_armhf.deb 30-Dec-2018 15:08 634336 libghc-smtlib-dev_1.1-1+b2_armhf.deb 19-Oct-2020 04:08 583636 libghc-smtlib-dev_1.1-2+b1_armhf.deb 07-Oct-2022 04:08 570552 libghc-smtlib-dev_1.1-3+b1_armhf.deb 25-Dec-2023 07:49 533200 libghc-smtlib-doc_1.0.9-2_all.deb 30-Sep-2018 22:58 78704 libghc-smtlib-doc_1.1-1_all.deb 08-Jun-2020 15:42 93748 libghc-smtlib-doc_1.1-2_all.deb 29-Jun-2022 20:25 95268 libghc-smtlib-doc_1.1-3_all.deb 27-Aug-2023 12:13 95752 libghc-smtlib-prof_1.0.9-2+b2_armhf.deb 30-Dec-2018 15:08 477224 libghc-smtlib-prof_1.1-1+b2_armhf.deb 19-Oct-2020 04:08 447316 libghc-smtlib-prof_1.1-2+b1_armhf.deb 07-Oct-2022 04:08 533804 libghc-smtlib-prof_1.1-3+b1_armhf.deb 25-Dec-2023 07:49 512360
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.