agda-stdlib - 0.17-1 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
agda-stdlib_0.17-1.dsc 2.2 kB 71b3470293812b22a02b0bd8cfaea699d3ab1003672ea879da9207c21827c1ee
agda-stdlib_0.17.orig.tar.gz 397.3 kB ba4abf7451da119e73103edda66e04bcef0c440d2cf5a75dc4fe47f911cedbe8
agda-stdlib_0.17-1.debian.tar.xz 5.3 kB 13a34a7dfbad7ef59288678dd5a97e892af0a35af666bbff2b42022be7cd9835