agda-bin
commandline interface to Agda
🌐 Site do projeto: https://wiki.portal.chalmers.se/agda/
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 2.6.4.3-1+b2 | amd64 | 9.4 MB | .deb |
Ogum | 2.8.0-2+b2 | amd64 | 9.8 MB | .deb |
Informações do pacote
| Seção | haskell |
|---|---|
| Prioridade | optional |
| Mantenedor | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| Site do projeto (upstream) | <a href="https://wiki.portal.chalmers.se/agda/" rel="noopener">https://wiki.portal.chalmers.se/agda/</a> |
| Depende de | libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libnuma1 (>= 2.0.11), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.6.4.3+~), libghc-agda-dev (>= 2.6.4.3) |
| Fornece (Provides) | — |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |