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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.8-2
Maintainer: Iain Lane <laney@debian.org>
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.5
Vcs-Browser: http://git.debian.org/?p=collab-maint/agda-stdlib.git
Vcs-Git: git://git.debian.org/git/collab-maint/agda-stdlib.git
Build-Depends: debhelper (>= 7.0.50~), agda-bin (>= 2.4.0), agda-bin (<< 2.5.0), libghc-agda-dev (>= 2.4.0), libghc-agda-dev (<< 2.5.0), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs extra arch=all
 agda-stdlib-doc deb doc extra arch=all
Checksums-Sha1:
 b62ab7e2947874ac59cc07200f14c803cce67894 246158 agda-stdlib_0.8.orig.tar.gz
 5a11e403ad0084c445061b605896d4078ff66523 4524 agda-stdlib_0.8-2.debian.tar.xz
Checksums-Sha256:
 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d 246158 agda-stdlib_0.8.orig.tar.gz
 02627523178ebcd39194a8c763b758d56b698aa213f40cf165d11df03e7184bf 4524 agda-stdlib_0.8-2.debian.tar.xz
Files:
 1aa28dad829473428f95bda1b79e4cda 246158 agda-stdlib_0.8.orig.tar.gz
 21716a162a788b7b78ec98747b0edec9 4524 agda-stdlib_0.8-2.debian.tar.xz

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

iQIcBAEBCgAGBQJT6eDlAAoJEONS1cUcUEHUjG0QAI+ngrLNp0uVkfsSXM7c3maz
ID9EAy5xBDKx5orIA86fU17B0N8kAqn/0C4zUMkgV5OiZlAWaSOb4THAOcIiK/To
Iax9orcPzt9xF3NUE5Ey8SLOLCDtH9wNUt+JyNcMvVKS9XM1tHg/ae9NbE3xvk+E
EekC40ZL1pXMNXQce3jIgnftGcVBOCE+BX1SmM15kk+xejVemNjgIMsmk9oHLZFw
miE8YRpNqIo5r4Uk6JJgJs2BUwDIwLXv/FFr6LZoinj/Cgj92yRu/ZfRGycfqjsp
i8x0p5orhcosND+Xvmw6l+zKsCl9FGJ7QcPgNv2lXua/Rxw0RPHtLGL5X2RONjvk
Wl5z83Tp6NdWrhWnjPJFPaP1WpZG8kq95PBWB576I98NS2nNvsqnBgfQXORsQyOp
8CiOPWJTBuJJADVVohRMsBpZSi/XySI3m61e9PljvtRuHj7Sj122sL7YKuWbwR0W
ZOGvMkQE74k0o6y+uAgViATTfafIvgoF56j6CvRbmYfMBonztYdgeeqGr9G10SMd
Vu5OkheyOKIq9iX5ruDvewNcPctXdNFau9dB1XSl1HaTUOjAytdIkdvo7OOSsg84
kUxCvXWOdnBUpwRdvKdURng22jsxkREAeBZSOxJGKtkt8EnH+2uPbYJU5sG0OEoA
zZAVqwSqFRYAABvzHqWT
=TyTq
-----END PGP SIGNATURE-----