../ libghc-ogma-language-smv-dev_1.15.0-1_amd64.deb 06-Sep-2026 17:32 222312 libghc-ogma-language-smv-dev_1.16.0-1_amd64.deb 12-Oct-2026 13:36 222412 libghc-ogma-language-smv-doc_1.15.0-1_all.deb 06-Sep-2026 17:32 97784 libghc-ogma-language-smv-doc_1.16.0-1_all.deb 12-Oct-2026 13:36 97820 libghc-ogma-language-smv-prof_1.15.0-1_amd64.deb 06-Sep-2026 17:32 208916 libghc-ogma-language-smv-prof_1.16.0-1_amd64.deb 12-Oct-2026 13:36 208056