| Name | Last modified | Size | Description |
|---|---|---|---|
| Parent Directory | - | - | - |
| libghc-ogma-language-smv-dev_1.10.0-1_amd64.deb | 2026-05-14 20:40 | 240324 | - |
| libghc-ogma-language-smv-dev_1.10.0-1_arm64.deb | 2026-05-14 14:23 | 248970 | - |
| libghc-ogma-language-smv-dev_1.12.0-1_amd64.deb | 2026-05-01 03:32 | 239344 | - |
| libghc-ogma-language-smv-prof_1.10.0-1_arm64.deb | 2026-05-14 23:27 | 252712 | - |