../ libghc-ogma-language-smv-dev_1.11.0-1_amd64.deb 18-Dec-2025 00:48 218800 libghc-ogma-language-smv-dev_1.11.0-2+b1_amd64.deb 25-Jan-2026 12:15 218412 libghc-ogma-language-smv-doc_1.11.0-1_all.deb 18-Dec-2025 00:53 87544 libghc-ogma-language-smv-doc_1.11.0-2_all.deb 06-Jan-2026 10:40 87912 libghc-ogma-language-smv-prof_1.11.0-1_amd64.deb 18-Dec-2025 00:48 201756 libghc-ogma-language-smv-prof_1.11.0-2+b1_amd64..> 25-Jan-2026 12:15 202952