Versions in amber: 2.5.4.1-3
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>

Format: 3.0 (quilt)
Standards Version: 4.1.4
Architectures: any  all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
agda_2.5.4.1-3.dsc	3.9 kB	d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
agda_2.5.4.1.orig.tar.gz	2.0 MB	7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
agda_2.5.4.1-3.debian.tar.xz	9.9 kB	aa66a9e92f0eb8132c99de531e6196ac9a9d8b7aff302622d8562249b7562981