agda-stdlib - 1.3-2 main

Versions in byzantium: 1.3-2
Maintainer: Iain Lane <laney [꩜] debian.org>
Uploaders:
  • Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>
Format: 3.0 (quilt)
Standards Version: 4.5.0
Architectures: all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
agda-stdlib_1.3-2.dsc 2.1 kB 8018c6669c4034be2b353668cf9a76120b979748993a96924844b78f81bd38a9
agda-stdlib_1.3.orig.tar.gz 751.4 kB 573036cc097ed00a6d7c81c5af8b5b2350a94a3c6b9af03b5ce459cf269388ca
agda-stdlib_1.3-2.debian.tar.xz 5.6 kB 271a6f86c4388740ae8556ed61b5d27535bc0394a5941b00d893bfe23e77c213