| Parent directory/ | - | - |
| libghc-ogma-language-smv-dev_1.11.0-2+b1_amd64.deb | 213.3 KiB | January 25, 2026 |
| libghc-ogma-language-smv-dev_1.11.0-2+b1_arm64.deb | 217.5 KiB | January 25, 2026 |
| libghc-ogma-language-smv-dev_1.11.0-2+b1_i386.deb | 207.7 KiB | January 25, 2026 |
| libghc-ogma-language-smv-dev_1.11.0-2+b1_ppc64e..> | 266.1 KiB | January 25, 2026 |
| libghc-ogma-language-smv-dev_1.11.0-2+b1_riscv6..> | 378.9 KiB | January 26, 2026 |
| libghc-ogma-language-smv-dev_1.12.0-1_amd64.deb | 217.0 KiB | February 27, 2026 |
| libghc-ogma-language-smv-dev_1.12.0-1_arm64.deb | 222.6 KiB | February 27, 2026 |
| libghc-ogma-language-smv-dev_1.12.0-1_i386.deb | 212.9 KiB | February 27, 2026 |
| libghc-ogma-language-smv-dev_1.12.0-1_loong64.deb | 385.2 KiB | February 27, 2026 |
| libghc-ogma-language-smv-dev_1.12.0-1_ppc64el.deb | 272.5 KiB | February 27, 2026 |
| libghc-ogma-language-smv-dev_1.12.0-1_riscv64.deb | 390.6 KiB | February 27, 2026 |
| libghc-ogma-language-smv-doc_1.11.0-2_all.deb | 85.9 KiB | January 6, 2026 |
| libghc-ogma-language-smv-doc_1.12.0-1_all.deb | 95.3 KiB | February 27, 2026 |
| libghc-ogma-language-smv-prof_1.11.0-2+b1_amd64..> | 198.2 KiB | January 25, 2026 |
| libghc-ogma-language-smv-prof_1.11.0-2+b1_arm64..> | 222.7 KiB | January 25, 2026 |
| libghc-ogma-language-smv-prof_1.11.0-2+b1_i386.deb | 196.6 KiB | January 25, 2026 |
| libghc-ogma-language-smv-prof_1.11.0-2+b1_ppc64..> | 239.6 KiB | January 25, 2026 |
| libghc-ogma-language-smv-prof_1.11.0-2+b1_riscv..> | 376.3 KiB | January 26, 2026 |
| libghc-ogma-language-smv-prof_1.12.0-1_amd64.deb | 200.6 KiB | February 27, 2026 |
| libghc-ogma-language-smv-prof_1.12.0-1_arm64.deb | 227.6 KiB | February 27, 2026 |
| libghc-ogma-language-smv-prof_1.12.0-1_i386.deb | 201.9 KiB | February 27, 2026 |
| libghc-ogma-language-smv-prof_1.12.0-1_loong64.deb | 356.0 KiB | February 27, 2026 |
| libghc-ogma-language-smv-prof_1.12.0-1_ppc64el.deb | 248.1 KiB | February 27, 2026 |
| libghc-ogma-language-smv-prof_1.12.0-1_riscv64.deb | 387.1 KiB | February 27, 2026 |
