../ haskell-ogma-language-smv_1.11.0-1_ppc64.buildinfo 18-Dec-2025 06:03 9401 libghc-ogma-language-smv-dev_1.11.0-1_ppc64.deb 18-Dec-2025 06:03 263K libghc-ogma-language-smv-prof_1.11.0-1_ppc64.deb 18-Dec-2025 06:03 234K