Accepted agda-stdlib 1.7.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted agda-stdlib 1.7.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 06 Aug 2022 17:20:24 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=cg4aquzdBIDh5fLEllHNzg76rTV2q2VeLlYUULWCnKs=; b=FLQ0w7MyFPD/RWvVpqQfdIaB8w DX4c0VBNYGiDp3to/uNl0KUclSkakwjnx0JYJ77EU/NWPUpzxWlNLuL6b19HcQJXBBQou0hlpTeJ9 fOsID0CL7Lz8KOGmYNooTh0J4DllJwWMzrmRkTxHYHimNt3Vdvu+ESrWyoD9cTPmQ4CQ0KI8QUD3I JcbvB+m/8rncH9aZpfBRHb2Ga9SxfBu1WI5YmSEPUtsARuclOxJ30s58iCa6ViX7P9ZUK0IfiENa0 xPSwT/6dYm73CbM7p8BrzkNNkEurB2Tyxp9+RzGuD4y2ANetSDgDahRLWuRZHOeWXzmmaS+kV3wmi nP5V5cFQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oKNTM-00GLXG-OI@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 06 Aug 2022 19:38:00 +0300
Source: agda-stdlib
Architecture: source
Version: 1.7.1-1
Distribution: unstable
Urgency: medium
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
agda-stdlib (1.7.1-1) unstable; urgency=medium
.
* New upstream release
* Bump agda dependency bounds
* Bump std-version to 4.6.1
Checksums-Sha1:
d2c8e3606fb29b9f92ff3b776e2b8ca0c4832412 2157 agda-stdlib_1.7.1-1.dsc
5383fe9fa174b1d7579f43ac1e804063cc858d61 940131 agda-stdlib_1.7.1.orig.tar.gz
4e915e0bbd69935cd7ec0d565e75077faefac583 5664 agda-stdlib_1.7.1-1.debian.tar.xz
b5e2494250ba44bfa3cec3a31189f92464031628 9189 agda-stdlib_1.7.1-1_amd64.buildinfo
Checksums-Sha256:
3ad8887b836612fd2f1eef7c59d5445a1533ea4551ee1091daf1c4d8d8a53232 2157 agda-stdlib_1.7.1-1.dsc
6f92ae14664e5d1217e8366c647eb23ca88bc3724278f22dc6b80c23cace01df 940131 agda-stdlib_1.7.1.orig.tar.gz
29b6d1c6b118eb6c064d07415ed293160c4a365557297467103bf39a856fe6b2 5664 agda-stdlib_1.7.1-1.debian.tar.xz
7166c6eeb49cb8da811b27b40da3488133b98683d3a15f2260030e129a75ec02 9189 agda-stdlib_1.7.1-1_amd64.buildinfo
Files:
7d0e7d5d78ac86499cf869a5948d441a 2157 libs optional agda-stdlib_1.7.1-1.dsc
19d18d2ca466cbfae1945c379b8c4bea 940131 libs optional agda-stdlib_1.7.1.orig.tar.gz
ac9d51dd51d058248e6c09a9d163d6e4 5664 libs optional agda-stdlib_1.7.1-1.debian.tar.xz
b132323c16400aed844f1aba29219c93 9189 libs optional agda-stdlib_1.7.1-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmLun4YUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDykUBAAphSexgelPQIkwZ+Z/VWl529TiWGs
VC0GifPM3HpCJGUPoTiK0NtNRDTlqQXqeCfMITYRbRV+nTvHntAAbT2fu5Dpd4lI
m5SyPHR6TAyG30rIX7jBvq8gVwBE2ItiLQfuuHCUqnwBDugGHQC8KBUf3JawkJ1U
csd6mdTb42hJL6V+C5OCql8UK/r/SOYc8tQvurLHngiuf+4+YdD1eU6fwMAgIMCh
zQhkJuMrjASBq/lPGYYMHRQjr9xGhYQ70YALSC8E1xZ4LAfFINMDv5L/2Od/xmGy
s6Dhzeh9bxPplaAAwFuGI4B6vMpoKV/I9aRS4gBvl2ugjQhM0vKBVmCEM4d7AtS7
77ZHaL4v36zxecmcNZgGydYnJA+Iyhqic5DfUnIIA3Zh0+WYeI4YSqVmM5+AbAa0
sCuVueaTPpM5F4AiN+jc12SmJ4Jlvp5ZqHdmyuUExGxgfeEkVfii+YSltohKKAWs
Z1wARQ4P3PWDraKVbf8ps4dFvQUjrv5nbl4ts7XzNmIwz1ZBDEUvcwdi6dtM4Dqm
7niTnmo6bPOhoGae9eoPBJCLztlrtlkS1BghPnt1ROV9vl1F79PFHVKeYRlgWCWh
SZFGb2f+6T/ngsb5/f1zXY3EnIBtM7jZ8B8QtOOgC7TCub+TNq+reKrENSna9p6Q
9nbGvQiaRo12UG0=
=ZP3d
-----END PGP SIGNATURE-----