haskell-ogma-language-smv_1.15.0-1.debian.tar.xz
haskell-ogma-language-smv_1.15.0-1.dsc
haskell-ogma-language-smv_1.15.0.orig.tar.gz
libghc-ogma-language-smv-dev_1.15.0-1_amd64.deb
libghc-ogma-language-smv-doc_1.15.0-1_all.deb
libghc-ogma-language-smv-prof_1.15.0-1_amd64.deb