| Parent directory/ | - | - |
| libghc-ogma-language-smv-dev_1.9.0-1_amd64.deb | 223680 | 2025-Aug-12 16:59 |
| libghc-ogma-language-smv-dev_1.7.0-1_amd64.deb | 223352 | 2025-Mar-26 02:34 |
| libghc-ogma-language-smv-prof_1.7.0-1_amd64.deb | 207128 | 2025-Mar-26 02:34 |
| libghc-ogma-language-smv-prof_1.9.0-1_amd64.deb | 206740 | 2025-Aug-12 16:59 |
| haskell-ogma-language-smv_1.9.0.orig.tar.gz | 119621 | 2025-Aug-12 16:59 |
| haskell-ogma-language-smv_1.7.0.orig.tar.gz | 119593 | 2025-Mar-26 02:34 |
| libghc-ogma-language-smv-doc_1.9.0-1_all.deb | 92088 | 2025-Aug-12 16:59 |
| libghc-ogma-language-smv-doc_1.7.0-1_all.deb | 92036 | 2025-Mar-26 02:34 |
| haskell-ogma-language-smv_1.9.0-1.debian.tar.xz | 6816 | 2025-Aug-12 16:59 |
| haskell-ogma-language-smv_1.7.0-1.debian.tar.xz | 6800 | 2025-Mar-26 02:34 |
| haskell-ogma-language-smv_1.9.0-1.dsc | 2862 | 2025-Aug-12 16:59 |
| haskell-ogma-language-smv_1.7.0-1.dsc | 2862 | 2025-Mar-26 02:34 |