agda-bin - 2.5.4.1-3+b1 main

commandline interface to Agda

Section: haskell
Suites: amber byzantium landing 
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 43.6 MB
Architectures: amd64  arm64 

 

Versions

2.5.4.1-3+b1 amd64 2.5.4.1-3+b1 arm64