../ libghc-ogma-extra-dev_1.10.0-1_amd64.deb 25-Sep-2025 00:17 28K libghc-ogma-extra-doc_1.10.0-1_all.deb 25-Sep-2025 00:17 32K libghc-ogma-extra-prof_1.10.0-1_amd64.deb 25-Sep-2025 00:17 25K