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-ogma-language-smv_1.15.0-1.debian.tar.xz 24-Jul-2026 15:34 2196 haskell-ogma-language-smv_1.15.0-1.dsc 24-Jul-2026 15:34 2956 haskell-ogma-language-smv_1.15.0.orig.tar.gz 24-Jul-2026 15:34 8722 libghc-ogma-language-smv-dev_1.15.0-1_amd64.deb 24-Jul-2026 16:10 222312 libghc-ogma-language-smv-dev_1.15.0-1_arm64.deb 24-Jul-2026 16:05 228412 libghc-ogma-language-smv-dev_1.15.0-1_i386.deb 24-Jul-2026 16:10 217756 libghc-ogma-language-smv-doc_1.15.0-1_all.deb 24-Jul-2026 16:05 97784 libghc-ogma-language-smv-prof_1.15.0-1_amd64.deb 24-Jul-2026 16:10 208916 libghc-ogma-language-smv-prof_1.15.0-1_arm64.deb 24-Jul-2026 16:05 232596 libghc-ogma-language-smv-prof_1.15.0-1_i386.deb 24-Jul-2026 16:10 206508
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.