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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 2.3-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Ilias Tsitsimpis <iliastsi@debian.org>
Homepage: https://wiki.portal.chalmers.se/agda/
Standards-Version: 4.7.3
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 (= 13), ghc (>= 9.10), agda-bin (>= 2.8.0), agda-bin (<< 2.8.0.1~), libghc-agda-dev (>= 2.8.0), libghc-agda-dev (<< 2.8.0.1~), libghc-filemanip-dev (>= 0.3.6.2), libghc-filemanip-dev (<< 0.4)
Package-List:
 agda-stdlib deb libs optional arch=all
 agda-stdlib-doc deb doc optional arch=all
Checksums-Sha1:
 4c31cbec3e5a5394e50a99be3d322217ccea5465 1267194 agda-stdlib_2.3.orig.tar.gz
 b0d278e403829b952737a79bac9f56cabf1c45f7 6088 agda-stdlib_2.3-1.debian.tar.xz
Checksums-Sha256:
 407286af16f2b5b8aebe577b3610ae9b40ce296ed3c03c66444b5801c2fa3012 1267194 agda-stdlib_2.3.orig.tar.gz
 8618cb3b95fdfec8d14150d9595e262a30cebdf78345147870c01982c45dca85 6088 agda-stdlib_2.3-1.debian.tar.xz
Files:
 d3a05d2ce9bcf51566327f715db239d6 1267194 agda-stdlib_2.3.orig.tar.gz
 9ac2840f6e239b189c377911af3f76f2 6088 agda-stdlib_2.3-1.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmmR8fsUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDy4dg/9FXqE6bUUQvHd95vdCSsn7AbQvXin
yejRe6UfYlOqeG82hHB3t+AsY7QfsDIVMmHnSaB5GZo/EiXZAtl7tXOjcQiu2eNl
ytGmZG2flyw7E3ohdLUuyumks/AWe1EBV1iJ/HWNuztmsMdP4yey+mL0CULEeI0U
Ay/Ksub5iXSaES/lxWxiJM5p73B+KlSi9rG4s+8bS/jUNIl0Po0MUJgrT3bY52hY
568NsdGmKEKREDd+/90QCfkh7LaVCzv1j+XuFkbK4nKvGGbG6J4lyxIs+ZalTzSr
wSKdFy5WhXeMxNjScL07B5cn5c4FXXYD5RxNse+DU3WXmEWWoyrnqtk5s0XbEiSh
H5MahkkcrVuEcPpe9fOYv1ZE5k43/DvYZL8D2Q23dogGlGYRATHXGjLkfhYn0cP7
sBE9pCFiGscQ6aSbYAPVbHeVXxg2CzXuRL0AkLsMRb3Sj4dvL/Up3CzOuoO1Jlcb
pp+oh9hLvZX75zAo6qmWv8/7dkHJm4eKGt0C5BifIXAmk1gijUSTKZvqI3NhYUw9
gULc3M9odkErrMKQLYH918FeStMa+94dIEYyY0XeyQs367+qJBn4LpVhmOiYTimn
+HxfIsuo2YRLVWZHtFYdFrO9uVdUYejkvp3oSCaVvP6jD4mHMPkhYipONYSafG1q
rALQegwh65TmAAU=
=EPR1
-----END PGP SIGNATURE-----