agda-stdlib_2.1-1_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi at 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-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20241018/fa05fe20/attachment.sig>