agda-stdlib - 2.1-3 main

Versions in landing: 2.1-3
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>
Uploaders:
  • Ilias Tsitsimpis <iliastsi [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
agda-stdlib_2.1-3.dsc 2.2 kB ca11d34bf5030195a3ab0379d862fe9da937548283ec2da25296d2b0a0196a83
agda-stdlib_2.1.orig.tar.gz 1.2 MB 72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431
agda-stdlib_2.1-3.debian.tar.xz 6.0 kB 8dfb0383c3cf6ee06b659d62433020730272ac960c01ef4388b7beedb01eaf88