Information about "agda-bin"
agda-bin
commandline interface to Agda
2.6.4.3-1
haskell
Debian Haskell Group <[email protected]>
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)
None
elpa-agda2-mode
None
None
None
pool/main/a/agda/agda-bin_2.6.4.3-1_amd64.deb