../ libghc-ogma-language-smv-dev_1.12.0-1_amd64.deb 13-May-2026 05:59 234K libghc-ogma-language-smv-dev_1.15.0-1_amd64.deb 01-Aug-2026 08:11 234K libghc-ogma-language-smv-doc_1.12.0-1_all.deb 13-May-2026 05:59 85K libghc-ogma-language-smv-doc_1.15.0-1_all.deb 01-Aug-2026 08:11 85K libghc-ogma-language-smv-prof_1.12.0-1_amd64.deb 13-May-2026 05:59 220K libghc-ogma-language-smv-prof_1.15.0-1_amd64.deb 01-Aug-2026 08:11 220K