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