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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.17-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://salsa.debian.org/haskell-team/agda-stdlib
Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git
Build-Depends: debhelper (>= 10), agda-bin (>= 2.5.4.1), agda-bin (<< 2.5.5~), libghc-agda-dev (>= 2.5.4.1), libghc-agda-dev (<< 2.5.5~), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs optional arch=all
 agda-stdlib-doc deb doc optional arch=all
Checksums-Sha1:
 801be853df2d670c6a15d7abd7ecb7751256231c 397328 agda-stdlib_0.17.orig.tar.gz
 6245e40c52e21b38866962c74dec69f64249f9c2 5312 agda-stdlib_0.17-1.debian.tar.xz
Checksums-Sha256:
 ba4abf7451da119e73103edda66e04bcef0c440d2cf5a75dc4fe47f911cedbe8 397328 agda-stdlib_0.17.orig.tar.gz
 13a34a7dfbad7ef59288678dd5a97e892af0a35af666bbff2b42022be7cd9835 5312 agda-stdlib_0.17-1.debian.tar.xz
Files:
 43c10d7da03125373a5cb1bbacbc52fa 397328 agda-stdlib_0.17.orig.tar.gz
 fe5a92027169ee279fbfef54a07f70af 5312 agda-stdlib_0.17-1.debian.tar.xz
Dgit: 5aa1c0b7f7f397bf9f8cba55515bbe21b8f18627 debian archive/debian/0.17-1 https://git.dgit.debian.org/agda-stdlib

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

iQIzBAEBCgAdFiEEm5FwB64DDjbk/CSLaVt65L8GYkAFAlv4oagACgkQaVt65L8G
YkCfIg//Xjpej/1qkozi7ilzPWt+HTYtKrCSVD6mtwZsAB3TTE+QzqU8r3WMlSPN
W+8kbAOaXKfU423lK5L6dnq6lDenPpk4rylTUprZw+4gVFZDjKpBsIJZ6BvorDw7
HYWNas4RxDrmZFwF3y6GBFDAeTFnji9try4bDpGr67zHFBRWCoX6Pvj073h3VMSR
qpOAc7odYG/QG4SpUpuC0CXB2eHaTZ8p7M/fGjdrSXF1lMTdS5lVrDbCgdbMH67x
Y4pHbJEyqfTxKhuMvojo8btVtS0izYQy611r3ZuMud+NaIGUzZ5gK3q6plhhSezv
AKIaT8TOwq76xENz4OdhsDOD5O3FmKqIxyeEgtBcpIipBX7+AChKY2p0io+9bdd4
4S1v38b94wfKCJDSHSd8QP31O0J+R2Vs4PAhZxYutFDltnGSXJMfxOJtWcTnZqWv
XHmJtiuIDkgOl29/eQW57D1nm1+LeN0af4kOAAW4UeO99n0vucxfLN120ECGNcWN
EHK7ectTJikdXn2zBxbkuaeD/zaDXbBk0+Djf/NoyCNLV5sUcie0OznuQg5taXHY
g7JwcxRsReyf9IB6Qu+oDThoXW4WP2KxjeC1gWuR9sCbhD69Hri4dN/kbXIJumaU
Yk3r16wTh71Kw2fJMEWXO3uynJDwRp+SA+7/zCm4fybfBpH7S5Q=
=D5ld
-----END PGP SIGNATURE-----