../ haskell-ogma-language-smv_1.12.0-1.debian.tar.xz 27-Feb-2026 11:35 2140 haskell-ogma-language-smv_1.12.0-1.dsc 27-Feb-2026 11:35 2857 haskell-ogma-language-smv_1.12.0.orig.tar.gz 27-Feb-2026 11:35 8639 libghc-ogma-language-smv-dev_1.12.0-1_armhf.deb 25-Mar-2026 18:08 275K libghc-ogma-language-smv-doc_1.12.0-1_all.deb 27-Feb-2026 12:06 95K libghc-ogma-language-smv-prof_1.12.0-1_armhf.deb 25-Mar-2026 18:08 284K