-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 2.1-4
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.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), ghc (>= 9.6), agda-bin (>= 2.6.4.3), agda-bin (<< 2.6.4.4~), libghc-agda-dev (>= 2.6.4.3), libghc-agda-dev (<< 2.6.4.4~), 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:
743dac57b078790e08c298fa3b76be51c2f410ff 1211622 agda-stdlib_2.1.orig.tar.gz
dd9088d07b85b5ea472793dbae42d01daefbbc0f 6060 agda-stdlib_2.1-4.debian.tar.xz
Checksums-Sha256:
72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431 1211622 agda-stdlib_2.1.orig.tar.gz
ad7d92bddfe430aea99dde6b74ca07d69bb10a928adfa50af13df1e8c5a639de 6060 agda-stdlib_2.1-4.debian.tar.xz
Files:
3a0131664aa61929bc3fbb79ca68fa7b 1211622 agda-stdlib_2.1.orig.tar.gz
df49895fe3687f5ff2d572d6335bb266 6060 agda-stdlib_2.1-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmdEyQwUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzJKhAAlXwSitYVp8vb0cwd6osVyosCr1pe
g+Xnlg1Aop0vNV6U3EiwMg8mnVRuOhAAYTBEASNRyJA243Iy7ZS3GhZLmixUl/Ji
ZS9NeomHiqcFhMxWlqRigPVzzdin0V1fDS9qoqeRwpcKcpwR9tOqUMC36llTCFsz
MgchMX2tpqSu5fWdOMgh+DpnwsnnLzcMO/Aorh+KKA+QQ9vimdrXHOAPiW2b8J77
CXznuoxjPBzpcRJshKWwrFIWL5kIQMoaDhcQS7zTalTTLojg9G7diYDi80wxrMOd
cVpfgAyxP/PYJV5zHbNcNt+bFidRvYtGT0cCc326lAdFZbaWlVpONOkdt/Pm2Bh4
GTQQxRdc99edAGaTjuoZTxKzv4GfAHc/dXNuPZ94z+/dc/IhrHvi8N0ui5Og/ruV
GmiUOlXfw+xVA+BCK6IJvi3M2axKRGuekol2xZTA+LTcewMFu0Cn6x0QlguyJWbx
kyID7j2NBUreWaFkoAprStyvMk+ciVliQ0NwHKKRE+vHXgZo7VH0km/C29WZvKTz
BiSP+scw7wnSYiNR12GjYYL4RYbi1WuuvqP/wEKjummMRT/dL+zLJnTYzuN09I0M
fRpgKzCNKaum7hGA84dMhPszwIf1hxuOSEe66rHmEXc5h0O8luVsXbgTIPyk9f0c
MSq8Hi7iuvT6KJo=
=3jxb
-----END PGP SIGNATURE-----