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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 1.1-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.4.0
Vcs-Browser: https://salsa.debian.org/haskell-team/agda-stdlib
Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git
Build-Depends: debhelper-compat (= 12), agda-bin (>= 2.6.0.1), agda-bin (<< 2.6.1~), libghc-agda-dev (>= 2.6.0.1), libghc-agda-dev (<< 2.6.1~), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs optional arch=all
 agda-stdlib-doc deb doc optional arch=all
Checksums-Sha1:
 0b347f01db0185c4ff0038275aa72a37e437cc25 570106 agda-stdlib_1.1.orig.tar.gz
 eb75ab52f74039805351e83f2a1b21e6d4a53d60 5528 agda-stdlib_1.1-1.debian.tar.xz
Checksums-Sha256:
 bb21bae5670863297c67f5d40c8c9e28d9329907683d43121bd58049dec25498 570106 agda-stdlib_1.1.orig.tar.gz
 e4eeaba87a5a259ff4d65f882ac8ae316b657921db6f148372cb730598ab6c11 5528 agda-stdlib_1.1-1.debian.tar.xz
Files:
 5be09e518785a3f27cdc65d5462abbbf 570106 agda-stdlib_1.1.orig.tar.gz
 5eab2f0c129e6462dce567c768aba5c8 5528 agda-stdlib_1.1-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1vtxEACgkQ808JdE6f
XdmwSRAAi3SJ9UekUmSukYOheZpcRkkG4fOGEQU43OPbDtgJ0IXm6x9A7LVEF//m
954w+rs1eUWqs5oUV4f9nBZePs05oeIK8DuLskUsZjyQeOAVOl+q4SwPacPSLtRg
5em7zlQwdgwHBPtBACsv8rOZvNzZ1wB3og9ybioUj3RPMLOzTY0nD5e9ZnSJnxBe
AdHbZd3wLWoyXsafvydOcCY8ftP3iJk8ATFdZ1Brb55kAKyFRXvbMZ134e+EvMDk
wZXGwJtYK/CtEs9//Zvx7pjjp/PwOxohUKcAceertH7d0CPgIuarOIxY3XuvVhRw
maJzkIw504bVLCzBfUxKLT3tmmer7ctwH9Bb2ZnrUT7ONkV+O/X+lHyxwSzZSpks
RowjMTf35mXflb7gUczBM32a08E2P4HHBS2Z0x6KWkGqbuiIHJCmOBbYnpsnaovm
iXclOnCY0OB14hbsD7OQgnJ4RQJoH0ZR2/6IxgLscRtXzAMSIgRtxoBnC8AtkCtQ
UIxXMYovXd+2gl8q2Ytx9odktyi/ldbRigK/azLWRvQyS2w8u62NUFvuZJf2uwW4
kMymGIFK0vegQdhMSeJOL9XUxSoDqrbNVF2sT/Jtm2tUiPn6jmpFwmySOn2UvIzK
psEYOLGRKzHD9JYLO8Tb17Zs/GOyVyBJKW3qKE2moyjkxzdu1nc=
=HNIR
-----END PGP SIGNATURE-----