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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 1.3-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: 4.5.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.1), agda-bin (<< 2.6.2~), libghc-agda-dev (>= 2.6.1), libghc-agda-dev (<< 2.6.2~), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs optional arch=all
 agda-stdlib-doc deb doc optional arch=all
Checksums-Sha1:
 759f72a37855fefda0edcfecffb3231d65df423c 751412 agda-stdlib_1.3.orig.tar.gz
 43af751a732c8cd6f341243edfdd477a16cd190f 5640 agda-stdlib_1.3-2.debian.tar.xz
Checksums-Sha256:
 573036cc097ed00a6d7c81c5af8b5b2350a94a3c6b9af03b5ce459cf269388ca 751412 agda-stdlib_1.3.orig.tar.gz
 271a6f86c4388740ae8556ed61b5d27535bc0394a5941b00d893bfe23e77c213 5640 agda-stdlib_1.3-2.debian.tar.xz
Files:
 772509db9932b7794992f024a9e68f0f 751412 agda-stdlib_1.3.orig.tar.gz
 62fd051872c315063a27f336d744cdaa 5640 agda-stdlib_1.3-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl8lZawACgkQ808JdE6f
XdkREw//S2wDE3ulf+2DK2e9wF54jYnrT62kMRyu3qITvSJGTNt0towHeEWynzhx
ClARqdaF1W9Lg6S/TyaKc7wEmNYAaOpiCobWD0L7fCr9wMe57Qp3UG+PRUctTvuj
knYjgCMp3Du6lsKFXCdbBEki7rjt6WzGqepQvkY1tibpWi74J9hVaJt+u5DEd543
Si8GUoMsVbBM2dWmEnAdQJAx16H1beR+Ooj4EXs1EK82HkBLqNTjHZqnouc3nui0
brZAwr2FHFZI77WSyVAn5kBz43Tq1AZryRb/f5AvDxfmNAN4IxBAZWPFa+xpEoQ7
DWAGJuN/MPj/UWOuWKATtVoeTmuFzRH0BckpzxbvkG83TwJpaBWvdhUYz9QEfz8c
R3RWYC5Wwol4j5sh2Ijx4uyrZDGcZ4v79Q+ggFjYVNAs6Xn190mwWYBIxqBTs54t
R3hOEoVWxriV3Jo5IO0ShK/opYqNYmuKE4ORR5zjSaHEwltCq4QIG7X1a+8Pv7SB
o3kXMbWZcTWCOVO7oiO6YxgZ4/ON3LMwOlXoab2WnbA5B2jcphOlw28GmGW1Jc4Y
6qr6KR9C3bqA2SjiknXGHuTYVAWjzCRAVcOBRTjcqrvtjSPV92s9sun1YkajBNV8
jtHxF2jtKLXWEtyw8WOwKJQQLJAbeS/PBntoJ0OUojqh/Gl89aU=
=8Djp
-----END PGP SIGNATURE-----