../ 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-1_i386.deb 18-Dec-2025 00:53 324008 libghc-ogma-language-smv-doc_1.11.0-1_all.deb 18-Dec-2025 00:53 87544 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-1_i386.deb 18-Dec-2025 00:53 270068