| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| libghc-ogma-language-smv-dev_1.7.0-1_amd64.deb | 2025-May-03 18:53:54 | 235.7K | application/vnd.debian.binary-package |
| libghc-ogma-language-smv-doc_1.7.0-1_all.deb | 2025-May-03 18:53:54 | 80.2K | application/vnd.debian.binary-package |
| libghc-ogma-language-smv-prof_1.7.0-1_amd64.deb | 2025-May-03 18:53:54 | 218.2K | application/vnd.debian.binary-package |