agda-bin
commandline interface to Agda
Binary packages in stable
| Architecture | Version | Section | Installed size |
|---|---|---|---|
| amd64 | 2.6.4.3-1+b2 | haskell | 66,534 kB |
| arm64 | 2.6.4.3-1+b2 | haskell | 73,633 kB |
| armel | 2.6.4.3-1+b1 | haskell | 86,671 kB |
| i386 | 2.6.4.3-1+b2 | haskell | 106,984 kB |
| ppc64el | 2.6.4.3-1 | haskell | 103,221 kB |
| riscv64 | 2.6.4.3-1 | haskell | 82,288 kB |
| s390x | 2.6.4.3-1 | haskell | 143,968 kB |
Description
commandline interface to Agda
Dependencies amd64
- Depends
- 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)
- Suggests
- elpa-agda2-mode
Source package
- Name
- agda
- Version
- 2.6.4.3-1
- Maintainer
- Debian Haskell Group
- Homepage
- https://wiki.portal.chalmers.se/agda/
- Repository
- https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
Bugs (1 open)
Each bug opens in the Debian bug tracking system, which holds its message log and current state.