../ libghc-ogma-language-smv-dev_1.12.0-1_amd64.deb 27-Feb-2026 06:47 217K libghc-ogma-language-smv-dev_1.12.0-1_i386.deb 27-Feb-2026 06:16 213K libghc-ogma-language-smv-doc_1.12.0-1_all.deb 27-Feb-2026 06:06 95K libghc-ogma-language-smv-prof_1.12.0-1_amd64.deb 27-Feb-2026 06:47 201K libghc-ogma-language-smv-prof_1.12.0-1_i386.deb 27-Feb-2026 06:16 202K