libghc-ogma-language-smv-dev_1.12.0-1_amd64.deb
libghc-ogma-language-smv-doc_1.12.0-1_all.deb
libghc-ogma-language-smv-prof_1.12.0-1_amd64.deb