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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.14-1
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: 4.1.1.
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 (>= 10), agda-bin (>= 2.5.3), agda-bin (<< 2.5.4~), libghc-agda-dev (>= 2.5.3), libghc-agda-dev (<< 2.5.4~), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs optional arch=all
 agda-stdlib-doc deb doc optional arch=all
Checksums-Sha1:
 c5c2cca51f8b125d4f88e04cc1285d04b69524b8 285379 agda-stdlib_0.14.orig.tar.gz
 1fafd68a27d83ba1836241ffe2ba42bd5cb365ee 5188 agda-stdlib_0.14-1.debian.tar.xz
Checksums-Sha256:
 7237c4039c61542bc010fd6db5da27dd6548c4ca5cde0d5d84b64f2b1a643b09 285379 agda-stdlib_0.14.orig.tar.gz
 b7014f1b6fb1806d8994c0f8ef653acc39fee043d8911db3b772c5d498881578 5188 agda-stdlib_0.14-1.debian.tar.xz
Files:
 19c570a37377ef8d365e14b3dccc435b 285379 agda-stdlib_0.14.orig.tar.gz
 07d18782ca95f46c8aead378a9fd5c4c 5188 agda-stdlib_0.14-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJaGpvhAAoJEPNPCXROn13ZNfUQAKoU0WFnkGlXLSZcBEeW3ep+
wVEleUe3tGlMd1DHiWd14Lcrrt+/CUujaZ4EjWu3umAHwNT1m8qhWIBhwmyJO+U+
kApYzhKWZWcYLrcLdB95K+R9CcnfgA68iIgpwgtp6oUmhbp3JafYzoOZ6hd2TKIF
foNOqw+hoBT9Cho09roNptoTHsUExqj6ZK5J7Zblvm/agmh9OSjLb/c+LYwfzC3q
MNX6XNuvO4cm3er4z9qNTMlqc8XYpeAdWipO3Qaqpd7CzGRPP+R4/mh9tPwHm0G5
xAwlR2jRdgojKLhcWlcWP3Wwgay5ww57DEC3x/tIMSadpzozsMNQvwPlkimo44tM
wu+l50DxbAUMeOwCigs7lHkDBsxZZpkhhPtvPJxgx1TKIrltlolIpjfeFkxS+2LE
U2qHr/pgf92XIC7yw38F2hRsi87owG5bYIpf9jtM87dy6R456rFz2Fk9JFa3DM44
32DzxgzmP8SdpC8AYqQnGhW9Rmpt128Ce9HFvp2/hsl4hbzhU7CTiLDipS45IfCb
w5qhASA4mxkNuNCyPks/OWK4k9CZ+q8a80KeJlAZrPlegHX3DJ65Iq3dZE6lDOZE
5XqHSDt45LWddg/y+4aX78q2VRCV9CBh9VtcmGcDb8RtaPb9kOO/cL7otMPFy4HR
zMFFKH7gZj7gr+XDKFTl
=JzIS
-----END PGP SIGNATURE-----