../ 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_armhf.deb 30-Jul-2026 10:08 281532 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_armhf.deb 30-Jul-2026 10:08 291844