-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 25 Nov 2024 19:17:09 +0200
Source: agda-stdlib
Architecture: source
Version: 2.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
agda-stdlib (2.1-4) unstable; urgency=medium
.
* Include deprecated modules.
Thanks Helmut Grohne for the report.
Checksums-Sha1:
89d807a980a6b918c356049ed81ac79dd8e64a74 2224 agda-stdlib_2.1-4.dsc
dd9088d07b85b5ea472793dbae42d01daefbbc0f 6060 agda-stdlib_2.1-4.debian.tar.xz
437fee042dbb830df952cdae52baf221c46b34a2 9550 agda-stdlib_2.1-4_amd64.buildinfo
Checksums-Sha256:
339b87892e18d4f089f2bab6db7c17fd0567ba83c56a49628289bf0448c54720 2224 agda-stdlib_2.1-4.dsc
ad7d92bddfe430aea99dde6b74ca07d69bb10a928adfa50af13df1e8c5a639de 6060 agda-stdlib_2.1-4.debian.tar.xz
d640b03b597c281b9bbb0bf199cc844ee46c04993a09cef967822ac4d2700e2e 9550 agda-stdlib_2.1-4_amd64.buildinfo
Files:
e2fbe2af59e5b84625e5ddc46ee7f7cf 2224 libs optional agda-stdlib_2.1-4.dsc
df49895fe3687f5ff2d572d6335bb266 6060 libs optional agda-stdlib_2.1-4.debian.tar.xz
066c6de89a8a0ecc45ead6a427d5ab58 9550 libs optional agda-stdlib_2.1-4_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmdEyRIUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDxiIg//V3Cm1lbXo1rVKbzLYkrpGfn7zZ+D
AVezhpQ6AEHlOPCyKocJ0fZ+5MJqP29E27j3qijJNFO4aXTNNqRAfzmtGiZINZbm
VNECyz5APihb9ongzDOd8u1nS94xcW0SFPN53fe9WIIkVTOORDsvzbOa3HdTHa9W
YmQUEpNTelJUUIvZTGNqNXC3eHvChU7PDp420USDWPdnTeBKWYHyU9DZT5i3ktYv
GR1W8aiK+YfKX+OhIFZXK7gg3wAGt/e459eFN7ifUGMmy6Rvgo+JSvGLPRgk+Xxu
5j9Y2ym591eOuw6oKoxP0/HywDJL1n1mZFkG8MmrfRy3PxvC4DGAmsnS7pV44xkx
hGomhMes0Nf53tROjB76XoRHYXKc1EjIt/4S0wtEiR01kArjwQbHcy5S0Xyt6AoF
UV1iXrMP0jmvhedIYs7vI8iZMx3kZpnGxRL3ACyupR1wTal/oE3hrK8troItJKE1
N7C7yzJYQWB1URtlYYr9TFT54FdFKeny6PFvyAai62Hx6R6EAuYUhDzjfxHKxaOv
Tdx0yQyoc1C6u2n2aCwkifUYcXAODLsML6PnEwo4t9pBa3D47vZFI9LIhV1UhAeH
PWcyOw/aAIbAR2KxMNexwJXdbl9DYR4S0skVpz5Jg8YpeqhY/HwrkLqd3a+kHtxy
NQc1Qv1sptnsESs=
=bZDA
-----END PGP SIGNATURE-----
