../ haskell-ogma-language-smv_1.12.0-1_alpha.buildinfo 28-Feb-2026 12:03 9366 libghc-ogma-language-smv-dev_1.12.0-1_alpha.deb 28-Feb-2026 12:03 321628 libghc-ogma-language-smv-prof_1.12.0-1_alpha.deb 28-Feb-2026 12:03 273996