-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 24 Oct 2024 13:25:31 +0300 Source: agda-stdlib Architecture: source Version: 2.1-3 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> Closes: 914691 Changes: agda-stdlib (2.1-3) unstable; urgency=medium . * Remove Iain Lane from uploaders. Thank you Iain (Closes: #914691) Checksums-Sha1: 923c90a990c2e59dd2d0c3d9f1205ac9f8cfab18 2224 agda-stdlib_2.1-3.dsc d8329a7ff1ceb826c65b8d4f620b7288cb9e6165 6020 agda-stdlib_2.1-3.debian.tar.xz d242c3fa98678a6f4e4948be8f768f9206069131 9463 agda-stdlib_2.1-3_amd64.buildinfo Checksums-Sha256: ca11d34bf5030195a3ab0379d862fe9da937548283ec2da25296d2b0a0196a83 2224 agda-stdlib_2.1-3.dsc 8dfb0383c3cf6ee06b659d62433020730272ac960c01ef4388b7beedb01eaf88 6020 agda-stdlib_2.1-3.debian.tar.xz a2fee5af2e570d65211af4521b6992b170bfe9ab3d039041d00b8a6d7e0eb950 9463 agda-stdlib_2.1-3_amd64.buildinfo Files: b70a9072cb671862d2fd7d3b70f164b3 2224 libs optional agda-stdlib_2.1-3.dsc cf41efe03450433e0b7e04542a160587 6020 libs optional agda-stdlib_2.1-3.debian.tar.xz ca2a6d923a007e039d9e03499e8ef8f3 9463 libs optional agda-stdlib_2.1-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcaJzoUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDyH/A/+PqKoTVCpx1tU2mgI6C+i7BEjnwcZ SuyZSfLX7301TUqu6UYNLiFViUc6YgcxmqH+DBVNEkbqjYEokvgITh89NosCRI7N oYp3n83vjextd4l3vo4pFykPK1R6sbF0j9Th1MjR6oHOWhBlxNJDHdKvSmj3xj6y EMcc4IotVhIAOe1xrFkTNyoU7nIc3zb+lQNSnQf3+m6UkdgR+zSGjBv/WyRKxwgv ekOwQYQckthQmpRXUmuQpyJwHxXDBl/WB1WzS1z+E7HsuIrUyf/mwb2Bs+64iWUg LrTB7F97tU4/3s4BrcUlCDM0oE34kWrxjVfarl8ao/5xRHEX02WcQ3/SSDXeKAj4 TBvN0pbi81fp3kHELZdMqytNur++k/KlQBnQ7K4fnFfv1cWdgFO+jN9Fixkjc81G MTzfTesaDZVa+6Q06BelfulZpgB6rmkVzj9CCGfO843hHzfInbyxcKA1MibYbfZn slZxuNfYUw185hV7Nb7emF5Irxx9oG5ow5rStoJERwFKqinlzgmStXyRhp33ouEZ 5FYZK752MzF2o5f2Ha4ug6wYn6GpoEdjJ8bFTJ3vdx8JbEcFMJFKXp7/mNsT9/pY pvdiblNhWs1Fny/4EdJ7lgCMOIfO2FY8lcymAhTo373mBxkEorcKVGjuwUCsRPw2 VpMuxQVX/uFEBPg= =U5Yg -----END PGP SIGNATURE-----
