Information about "agda-bin"
agda-bin
commandline interface to Agda
2.6.4.3-1+b2
haskell
Debian Haskell Group <[email protected]>
pool/main/a/agda/agda-bin_2.6.4.3-1+b2_amd64.deb
| Depends Packages |
|---|
| libc6 |
| libffi8 |
| libgmp10 |
| libnuma1 |
| libtinfo6 |
| zlib1g |
| libghc-agda-dev |
| libghc-agda-dev |
