-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 29 Aug 2024 15:28:02 +0300 Source: agda Architecture: source Version: 2.6.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> Closes: 1077095 Changes: agda (2.6.3-2) unstable; urgency=medium . * Rebuild against dh-elpa >=2.1.5 (Closes: #1077095) Checksums-Sha1: 48e3bad21573a00fe0e84cfa3acdaecabc5a0ca2 4945 agda_2.6.3-2.dsc 02eacaf4ccb032a73c6c71f862c0bc0e63d88ef6 11636 agda_2.6.3-2.debian.tar.xz ec116be99e111c11567c8ce166063e0f11bac9b2 17824 agda_2.6.3-2_amd64.buildinfo Checksums-Sha256: 1e66a157e164dae016a68845db71e832744f32bc8ec8e51bf6b9a3b2d71391ee 4945 agda_2.6.3-2.dsc 43dca39ea6197707375fe25f06838c865fc78e11292d6066f261fe645a5529d2 11636 agda_2.6.3-2.debian.tar.xz 4c05fd03047c3d2eade6788c632af319153fb286376c5c52c5b9a2b74e41ce82 17824 agda_2.6.3-2_amd64.buildinfo Files: eccb3fabbc0eb0747e52b93eadb30f8b 4945 haskell optional agda_2.6.3-2.dsc 6b9a7540d9c00127f9f8bb2b8cda23b0 11636 haskell optional agda_2.6.3-2.debian.tar.xz 31118dab382af2357dbaee68f12d7df8 17824 haskell optional agda_2.6.3-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbQcIwUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDzUFw//SqWUlgqFeARURgXa1ecOI03CYCYd EZGdbKJVP6/8QgS6Enx6uCPsfcra4lBAH31xXue6OJ/4zHiHQwzPoDJ7SjA/erTc b92B/iOPlRjYUhtGFKFA6Fd7Qdd5CMoEhVPOZHnZf7L71XYN5fFG/4iT5WuLMDM2 BhW3PH5O/YbF8eZNoZz1bAaGWMJmfd1Z1VRVmjv1g9bqR69qfZlb3iQTb6Td3OMx cGCocY4NuIPSNJ/JERHhTETTl1TeVqe/UZY0WPJzl2zN52kzXx842a5/zeWDpTOZ AAktvI/jIcgc7UxMncfl8qFRrOs2e3HHiEdWKc4+ZYBFT7VXcl+WGVTLofIi5ZDr pG/xrw4njk+icCQoGmaXP5FXJJ0SjhtEDlQwO6LeGJEuSc3Z663dlrjfiJDCsFaG X7n2nh1K4Y633RUZ7KNZODQlDAv81B5Uavlgnr8XcgRn8hM0Jk+z1RoFALEqsvwM /AntnWQjcJuyzZ6RSgMlMItGPJyAEsOrjO3Fx2KeXReMBv/1ak3/7FG6tguINS9y KWUyp0BgQcLcOJnCvxJZ5xQ7TDKLVIpKCNPM5GfHKxBEn5FFL6KBFTFmnGeH8qsm Nv+F0QiPFvQ1jcWePlMEdImFuUz9p1ybHQEK8Ei/Uh/bQqbITKzj+CifF1rtFv19 RSq83B8JV9Ntsxk= =cWnC -----END PGP SIGNATURE-----
