| Package | agda-bin |
| Source | agda (2.6.4.3-1) |
| Version | 2.6.4.3-1+b2 |
| Installed-Size | 66534 |
| Maintainer | Debian Haskell Group |
| Architecture | 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 |
| Description | commandline interface to Agda |
| Description-md5 | f8e26d204d9ccc3a3cfdad460ae35595 |
| Homepage | https://wiki.portal.chalmers.se/agda/ |
| Tag | devel::testing-qa, interface::commandline, role::program,
uitoolkit::ncurses |
| Section | haskell |
| Priority | optional |
| Filename | pool/main/a/agda/agda-bin_2.6.4.3-1+b2_amd64.deb |
| Size | 9846396 |
| MD5sum | 8c4b6c13672cd5af0666810071fe707a |
| SHA256 | 31052ce0b53e9cf061c9386a0416525318a66bbd1bfaa4bef93f0f43dec8b748 |