Versions in byzantium: 2.6.1-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>

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

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
agda_2.6.1-1.dsc	4.2 kB	01ef3804bacf180da3aec8e48db09569f3d16b41c01673c15caf94b79988c8fd
agda_2.6.1.orig.tar.gz	2.6 MB	678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129
agda_2.6.1-1.debian.tar.xz	10.1 kB	2a48368bbd5171d59707fa47006ccb602eb77a585c4a513cc0cb6e25240017f5