../ haskell-ogma-language-smv_1.11.0-1_hurd-amd64.b..> 18-Dec-2025 12:03 9829 libghc-ogma-language-smv-dev_1.11.0-1_hurd-amd6..> 18-Dec-2025 12:03 218908 libghc-ogma-language-smv-prof_1.11.0-1_hurd-amd..> 18-Dec-2025 12:03 201252