-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.12-2
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
 8fe842ad457609539b1e6ca59edba731984bae40 4996 agda-stdlib_0.12-2.debian.tar.xz
Checksums-Sha256:
 2fddbc6d08e74c6205075704f40c550fc40137dee44e6b22b2e08ddee1410e87 254024 agda-stdlib_0.12.orig.tar.gz
 4b76be7b82f401fd7968fd238d986bd3ad09acea44af71ee7e2524c9fcd1c86c 4996 agda-stdlib_0.12-2.debian.tar.xz
Files:
 f5ac7a23d7d3ea868f557e1863ef0e7c 254024 agda-stdlib_0.12.orig.tar.gz
 deac9f431a540c60ad8abcaacf406c64 4996 agda-stdlib_0.12-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJXbCE6AAoJEC0aqs8kRERCU4UQAIt/AEM1xTcQAdtbG2XWp8sW
BHprtCOa1mBvlhXgq0IfuNx+92vvZEemQsKQB95vykd8BRKR/PbjOm6pLEZ2cDXt
uKdDBuaoArleRr6EewLp/yyK3nEWMBj0b8T66KCe1D9CYZpkOIuSnWmmcXI32f7i
inAX/TtIP35UbW+LqXDVq5oMQ0fDO73hyZYQA8VXPQi+luFH4UbRWG3KwswDCDO6
XHjiD7DTGeGK7eVWSBorDlYlV+iuyWWgqC/r/XeOdsj3ifZEHTIxtNzc3/kO1lk3
oMvjQFB6K8LIQt+2ygOrr1ABLVgXQS3CF4UD7NJ7AIjep4dQ+fz9ULSXomhL9b/I
frNLFHLiCyJX+Dhy17yk+Jruqqg6V88NWDOPDdueekLONUAsGY+XOpwesOzKW5Zr
Z16UoUpiBIFM+Wrzge/KXjuDyyV1Fezj78mhNiecc2aJ6oAYJR04v+STPFSwiOja
VYI6YOMkmd3gvEaCCOe7vfNZW6Te+5hyFSJtd1Gv7BS/2yiOlzCwXfmpahLR/uJr
68C3nR+EJwxPDMCA5k4RfX4xDsWfqO5w9f8NUBpUv/cpj4Db5gAw42lTlKhAOCEc
4BGF6CnhSkOQO1kliY1Qm+NBujaXJNxfJFSIVeLIVlCN5RnTGX3Xf1u7wEhsAQ7G
phQB2Wklp3QeOvWDKllU
=oXeR
-----END PGP SIGNATURE-----