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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.12-2build2
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
 b97dea094ddb17171aaa66a601487bac88882a37 5048 agda-stdlib_0.12-2build2.debian.tar.xz
Checksums-Sha256:
 2fddbc6d08e74c6205075704f40c550fc40137dee44e6b22b2e08ddee1410e87 254024 agda-stdlib_0.12.orig.tar.gz
 ada41c0b4aa47072d5523ae9d61ddd1bf799d2a0e7be299de149ac684ae205a4 5048 agda-stdlib_0.12-2build2.debian.tar.xz
Files:
 f5ac7a23d7d3ea868f557e1863ef0e7c 254024 agda-stdlib_0.12.orig.tar.gz
 9d23768f74d468d11c9d6b715f0c4109 5048 agda-stdlib_0.12-2build2.debian.tar.xz

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

iQIcBAEBCAAGBQJYKz2+AAoJEPNPCXROn13Z9XQP/0Nt2iMyH9J9unocg8OupDUo
B4sC4tOB86yG3S3sYJ/FYALuck53CartnzLQpdnOIvLNpXczqtGZaL+4Om5BMtJh
/YLtk6aEqGGMs95A/4oBMfnrDjoluSPxzmKV7pfs8dpaI7LM/Ti8NYrvU4oavGnV
C+4CzxiiRatO49wrQxLOJ+esNujWtrKKBneoH+2zPiskips5Iblj8T9Zf1PUjZ+U
OvXct3TuQOOrrbnBBzk7fEbkbQ9sYdwnppw7W6+gEmRG75WXP1aTV5B/FTNs1G9Z
/b0BvMczKuBbkf1XTteuo0vEzF4g+aRHf12IeqzVG5gtyj/0EqCBrHyxQR6pi6KR
ZXKHajZga4W1DZGeBB1UkCqTzIKLJQGOXBrQJLpq6gzmJ15KjEFNnIf0Dd20A0wk
DN28E1PNvJHBb9M+m+KAnYqOGApHjG/9V8BcbjDtCGaNgI98ohlTDpZez2EDBukw
AQYgzdDUWviDMc7WWg+4mXH0XfIb39KdD3xcz5M0JvBOKHgb7XHSaSLQZKI5DCwl
nmRKG1m1DYZ/+HanDP4Cq/0nqM89/+VqGB5IIkJzaty2ff/+5a4Re7JqbohG7l74
0pJz5LdTNCMup4BBr4LkDEwpFdEanVkZ67M4/pQD4+ibGrrcGzxNFlMzIiI0N5K0
gqvNRvHHVCiKoPj4mQgV
=h981
-----END PGP SIGNATURE-----