| Parent directory/ | - | - |
| haskell-ogma-language-smv_1.10.0-1.debian.tar.xz | 2116 | 23-Sep-2025 04:08 |
| haskell-ogma-language-smv_1.10.0-1.dsc | 2836 | 23-Sep-2025 04:08 |
| haskell-ogma-language-smv_1.10.0.orig.tar.gz | 8614 | 23-Sep-2025 04:08 |
| haskell-ogma-language-smv_1.11.0-1.debian.tar.xz | 2068 | 18-Dec-2025 00:33 |
| haskell-ogma-language-smv_1.11.0-1.dsc | 2857 | 18-Dec-2025 00:33 |
| haskell-ogma-language-smv_1.11.0.orig.tar.gz | 8625 | 18-Dec-2025 00:33 |
| libghc-ogma-language-smv-dev_1.10.0-1_amd64.deb | 214K | 23-Sep-2025 11:06 |
| libghc-ogma-language-smv-dev_1.10.0-1_arm64.deb | 219K | 23-Sep-2025 11:06 |
| libghc-ogma-language-smv-dev_1.10.0-1_i386.deb | 317K | 23-Sep-2025 11:06 |
| libghc-ogma-language-smv-dev_1.10.0-1_riscv64.deb | 360K | 26-Sep-2025 06:26 |
| libghc-ogma-language-smv-dev_1.11.0-1_amd64.deb | 214K | 18-Dec-2025 00:48 |
| libghc-ogma-language-smv-dev_1.11.0-1_arm64.deb | 219K | 18-Dec-2025 00:53 |
| libghc-ogma-language-smv-dev_1.11.0-1_i386.deb | 316K | 18-Dec-2025 00:53 |
| libghc-ogma-language-smv-dev_1.11.0-1_riscv64.deb | 355K | 18-Dec-2025 14:49 |
| libghc-ogma-language-smv-doc_1.10.0-1_all.deb | 85K | 23-Sep-2025 11:12 |
| libghc-ogma-language-smv-doc_1.11.0-1_all.deb | 85K | 18-Dec-2025 00:53 |
| libghc-ogma-language-smv-prof_1.10.0-1_amd64.deb | 197K | 23-Sep-2025 11:06 |
| libghc-ogma-language-smv-prof_1.10.0-1_arm64.deb | 221K | 23-Sep-2025 11:06 |
| libghc-ogma-language-smv-prof_1.10.0-1_i386.deb | 263K | 23-Sep-2025 11:06 |
| libghc-ogma-language-smv-prof_1.10.0-1_riscv64.deb | 371K | 26-Sep-2025 06:26 |
| libghc-ogma-language-smv-prof_1.11.0-1_amd64.deb | 197K | 18-Dec-2025 00:48 |
| libghc-ogma-language-smv-prof_1.11.0-1_arm64.deb | 221K | 18-Dec-2025 00:53 |
| libghc-ogma-language-smv-prof_1.11.0-1_i386.deb | 264K | 18-Dec-2025 00:53 |
| libghc-ogma-language-smv-prof_1.11.0-1_riscv64.deb | 375K | 18-Dec-2025 14:49 |