../ libghc-ogma-language-smv-dev_1.11.0-1_amd64.deb 06-Jan-2026 14:08 218800 libghc-ogma-language-smv-doc_1.11.0-1_all.deb 06-Jan-2026 14:08 87544 libghc-ogma-language-smv-prof_1.11.0-1_amd64.deb 06-Jan-2026 14:08 201756