../ haskell-ogma-language-smv_1.10.0-1_hurd-amd64.buildinfo 24-Sep-2025 00:03 9736 libghc-ogma-language-smv-dev_1.10.0-1_hurd-amd64.deb 24-Sep-2025 00:03 214K libghc-ogma-language-smv-prof_1.10.0-1_hurd-amd64.deb 24-Sep-2025 00:03 198K