| Parent directory/ | - | - |
| libghc-ogma-language-smv-dev_1.10.0-1_amd64.deb | 240324 | 2025-Sep-24 16:17 |
| libghc-ogma-language-smv-dev_1.11.0-2_amd64v3.deb | 234582 | 2026-Feb-06 19:31 |
| libghc-ogma-language-smv-dev_1.11.0-2_amd64.deb | 234538 | 2026-Feb-06 19:31 |
| libghc-ogma-language-smv-prof_1.11.0-2_amd64.deb | 220026 | 2026-Feb-06 19:31 |
| libghc-ogma-language-smv-prof_1.11.0-2_amd64v3.deb | 219860 | 2026-Feb-06 19:31 |
| libghc-ogma-language-smv-prof_1.10.0-1_amd64.deb | 218002 | 2025-Sep-24 16:17 |
| libghc-ogma-language-smv-doc_1.11.0-2_all.deb | 77926 | 2026-Feb-06 19:31 |
| libghc-ogma-language-smv-doc_1.10.0-1_all.deb | 77396 | 2025-Sep-24 16:17 |
| haskell-ogma-language-smv_1.11.0.orig.tar.gz | 8625 | 2026-Feb-06 19:30 |
| haskell-ogma-language-smv_1.10.0.orig.tar.gz | 8614 | 2025-Sep-24 14:09 |
| haskell-ogma-language-smv_1.11.0-2.dsc | 2865 | 2026-Feb-06 19:30 |
| haskell-ogma-language-smv_1.10.0-1.dsc | 2836 | 2025-Sep-24 14:09 |
| haskell-ogma-language-smv_1.11.0-2.debian.tar.xz | 2140 | 2026-Feb-06 19:30 |
| haskell-ogma-language-smv_1.10.0-1.debian.tar.xz | 2116 | 2025-Sep-24 14:09 |