-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.12-2build1
Maintainer: Iain Lane <laney@debian.org>
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>, Sean Whitton <spwhitton@spwhitton.name>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/agda-stdlib.git
Vcs-Git: https://anonscm.debian.org/git/collab-maint/agda-stdlib.git
Build-Depends: debhelper (>= 7.0.50~), agda-bin (>= 2.5.1), agda-bin (<< 2.6.0), libghc-agda-dev (>= 2.5.1), libghc-agda-dev (<< 2.6.0), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs extra arch=all
 agda-stdlib-doc deb doc extra arch=all
Checksums-Sha1:
 1bd25a25606653329c981e33e76d8ff0564cc74f 254024 agda-stdlib_0.12.orig.tar.gz
 7d09a169ec11e8e1512539012b20c1af96a3f487 5016 agda-stdlib_0.12-2build1.debian.tar.xz
Checksums-Sha256:
 2fddbc6d08e74c6205075704f40c550fc40137dee44e6b22b2e08ddee1410e87 254024 agda-stdlib_0.12.orig.tar.gz
 73b236c1a69f6ef01c00fc606389702dae19171d35cfaa0cf5bc4e81c536b952 5016 agda-stdlib_0.12-2build1.debian.tar.xz
Files:
 f5ac7a23d7d3ea868f557e1863ef0e7c 254024 agda-stdlib_0.12.orig.tar.gz
 1dd296a0581578b9be0d228ba8d73c95 5016 agda-stdlib_0.12-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXqdppAAoJEPNPCXROn13Zh0UP/jyHqoeZdX4sbmYql0Yu3YWj
f9R14RkFnS6sPXk9V7PSgN3obF2wbEquHgTQe5HyyjDXATLZisp0Jr1ihEgsVuUG
xjUNV0K8M30n2l1u1dTcu6kZ8dV0DlPUVLIhvkgcGEkNJ6qdwwOlCMIgC8mtdpew
4kP/39vweghMTngWsnPcFEpijwctK6hMs5e8pu++a8QWeTw19nSzOIsWuheh+P86
Z21q6c2YzkrBi2KMkkd6IgXBUy8tGenfrBVNAJ4U68gMzROu5Pb1LwQsa5fYtR7O
9U/daSYu2IN7bqXh/wWb7YYZJikGrR2p5DRPH5VdUqsuCWR76lRVo4eZ69n35TcH
I8NmvHK+XqMw5XcyYCIt8+xRd0oMuV4Rb1zMgi5TcWfPfmi8uhmjJDOdFEiGfBAV
bPqgdPpYpwDOLc6tyAF914hDxbkDwaLDWItkJEPkYahrOt+kkO0jrsHKw0nc/4IH
e/H795cg5XQpQD3IDAJSl08AQrEfu1raKYwcnkKtGPzaoD9q/gFswkQ9J+VzshDw
Lsu2AwNmlOQ7oMpnFSXTuK95MNsyghix+8x2EBKAbCOpl4HSHvyc0Gg9M9mvyUv/
dsqJL25qfGTiCVPu5YjH4wjd3KMtjaSACDccW1Ap6YO/5ffcJt2UQ/edojmoDzSM
LW6ENabd42Ttc4RTwf2j
=jUfW
-----END PGP SIGNATURE-----