../ haskell-ogma-language-smv_1.11.0-1_alpha.buildinfo 18-Dec-2025 12:03 9259 libghc-ogma-language-smv-dev_1.11.0-1_alpha.deb 18-Dec-2025 12:03 316260 libghc-ogma-language-smv-prof_1.11.0-1_alpha.deb 18-Dec-2025 12:03 268148