-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 06 Dec 2022 16:57:40 +0100 Source: agda Architecture: source Version: 2.6.2.2-1.1 Distribution: unstable Urgency: high Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Marcel Fourné <debian@marcelfourne.de> Closes: 1017415 Changes: agda (2.6.2.2-1.1) unstable; urgency=high . * Non-maintainer upload. * add patch to remove internal agda-mode dependencies (Closes: #1017415) Checksums-Sha1: 14f4c0670b9434529fa66d6858b5da8ddec65752 4426 agda_2.6.2.2-1.1.dsc 33bb7cbd0922a523901c6ea7f3ad6f44d7b5d18b 10496 agda_2.6.2.2-1.1.debian.tar.xz b4563436deceb4f51531922469a17c2cb917dfb7 15836 agda_2.6.2.2-1.1_amd64.buildinfo Checksums-Sha256: 688f97cb03a82b93b7952ac8980a81ee5b9343fef1347ab58ca3cf1bc01d72ed 4426 agda_2.6.2.2-1.1.dsc 9b4bd529eb559f6f9908de33351eac2d7c179cb6c58ffc05e78f7e7b7896eacf 10496 agda_2.6.2.2-1.1.debian.tar.xz 75824fb22824089b60d3d2a4efd0e3ada58669f38b54ac57d1b5e42e977079c8 15836 agda_2.6.2.2-1.1_amd64.buildinfo Files: 63bc6c76f4997e927de42d119bac4514 4426 haskell optional agda_2.6.2.2-1.1.dsc e6a1d75ca8cdf3cdd80c8de19abb9e77 10496 haskell optional agda_2.6.2.2-1.1.debian.tar.xz 8542fc8e0f26c3c7cc4907e67d9577f5 15836 haskell optional agda_2.6.2.2-1.1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEETMLS2QqNFlTb+HOqLRqqzyREREIFAmOPbsIACgkQLRqqzyRE REJaaxAAjyl3zVr6qSsZkfffaCRDOVieJTFh/H5S5GBXbOh4EpvalXAv6t/CMMfQ Av6KOSBB6by8JnuaM8Y21M/6WCqlR7loiS5mhVxg0zLdIyf4oj2oJG7fJG7fkd+c g+pG8cK9G/Kuxi9SgNGI9ak+PpFUClj9d/3j0dcJjMj9Tc6JtjqrfYfjPaTtCv8e SA2ht4uVuPvXtqRpkNdMVSsfOCCOMrb57nl4+SZ3NZgvZLjzlm3e0lBNavjgNHeY sFvxUFnfjOWciTwkT77KRNe6Z6HP4JGp6BezPPSuS7p/MO7Nh/FJqDHkhke5iWg/ WAnIWMVKbGn6BPCTRQCJhTClL+/OBln2n4ofggtU0tm5ASSHDVIlPDFMHDhrpEpG KDCkxRjECnEhyRPAGy4xRcAWolf/uJtvLg0aOSUKhk7lJrBhVgzsdZKzcJ4I+Gpa 3++Wxx3fvypHFbwyL8kzLZ+xR7fDQRgbKTZQDGk0jrrLSJDcWGQxzvVfc7XyQu8S 94YiYD9L0w81l5wGboqLes+a2xjX3XtnkkGdoNodTgtVqolBQX6GM7dzKnbsslWd ty3lH5CChPKSPgAWfqK/Qu0skMchhF8cHMa9o1EcgO6IQ2Y7Ehpq4lNchf0AFM0L f/b6jUCPLFKFIxf0x27+vg2tsxUOu5w4u3rRE47i3hSUt0o5k6I= =qbWg -----END PGP SIGNATURE-----
