-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 18 Oct 2024 15:11:47 +0300 Source: agda-stdlib Architecture: source Version: 2.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> Closes: 981354 1044031 1076387 Changes: agda-stdlib (2.1-1) unstable; urgency=medium . * New upstream release * Set "Debian Haskell Group" as the maintainer * Declare compliance with Debian policy 4.7.0 * Install standard-library.agda-lib to use Agda's new library management system (Closes: #1076387, #981354) * Remove generated artifacts (Closes: #1044031) Checksums-Sha1: 2b01a6bc605d3186fa789a42529f90f25cba6042 2253 agda-stdlib_2.1-1.dsc 743dac57b078790e08c298fa3b76be51c2f410ff 1211622 agda-stdlib_2.1.orig.tar.gz 9497f645b756d2611497a8f7801227da39a621ae 5900 agda-stdlib_2.1-1.debian.tar.xz 7a179453ceebf5057ccd5cbacf2aaaad8e9356ee 6139 agda-stdlib_2.1-1_source.buildinfo Checksums-Sha256: 16ad0dbcce4a4172f22caf03a3daf21aeb35caf271113f569fec172aa961dfb6 2253 agda-stdlib_2.1-1.dsc 72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431 1211622 agda-stdlib_2.1.orig.tar.gz 1762170d3b8a70e4b2449ab89ecf21aab5ea3a6589caa6c89d21f3e9cfc7b1e1 5900 agda-stdlib_2.1-1.debian.tar.xz 0cde23cecbfa224bbafb3f9648c88b1b80bad281c76d5ca70019b41ddeb62ce7 6139 agda-stdlib_2.1-1_source.buildinfo Files: 033ec0beb4f1ad85692e49a3d6d47646 2253 libs optional agda-stdlib_2.1-1.dsc 3a0131664aa61929bc3fbb79ca68fa7b 1211622 libs optional agda-stdlib_2.1.orig.tar.gz 2cf6ff459360c3d9b35ad265204e0195 5900 libs optional agda-stdlib_2.1-1.debian.tar.xz 333801587e1c4e30b02e8d706cd5164f 6139 libs optional agda-stdlib_2.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcS1FcUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDxK5xAAuTJ+vhUixGnodnRBkB2UwdSiaBLO 94r4PhxbvAJECY9HL1+wJthG9nIR5CqnyMs8Ek6FnW5/LJikizdkwknru97uBd/9 zHTlhiWBW83EZd/Bg8n+HNDjsJZZXfU9UAUjGqNpoW1wLU3J6N1edebPf6FYYQFZ QsJ7pox11hAGewrc8uYCXcdAmPJHEnxR+0bEOxPp8v5bEhMX6fIL4xGH3aPICfOV VsD+7csDoMktZ01hgMAz66VMFizPorof7Q5YRIcfHliNI3TlBnQOT7kHgJmV2Z8g Qes+m4QLyEzOGEpkAWSFL26YkLp8qyfZq8v+r1GEP3L4x8AklvoGnGcnYWwxV6hx jan8xlYt97w863o76YY0urudPGxm924vlgrBotq+U/PTGI2wwjKLSvVg+bXZywOt Ui2L0De7sqDwWdVYSm8pwY6DgssQjDTjtYF6vZzT+Pedq2QYo41Vd5h4WFd9iEFB SGDSCNrYjwoe2VGx1Ac5BbOt66/B2mPjPKeXNdROq7T1QNNZsjulI5HrOZJ8pUaB sicLxjgaVSeMtnkISMCbxNhfIhH5WrpEMBxcsRtjAI4ZGRUddgTSgzfEq1Pj5B4x b5LZkRZVRKmakcTjQabz+IYTZ/243AERAb6MjOy03Ly9QOC8O/F7NHC1IIGyzS6Y aytaRk9AGpKbQYI= =FroD -----END PGP SIGNATURE-----
