../ libghc-ogma-language-smv-dev_1.15.0-1_amd64.deb 24-Jul-2026 12:10 217K libghc-ogma-language-smv-dev_1.15.0-1_loong64.deb 24-Jul-2026 12:05 280K libghc-ogma-language-smv-doc_1.15.0-1_all.deb 24-Jul-2026 12:05 95K libghc-ogma-language-smv-prof_1.15.0-1_amd64.deb 24-Jul-2026 12:10 204K libghc-ogma-language-smv-prof_1.15.0-1_loong64.deb 24-Jul-2026 12:05 263K