Accepted agda-stdlib 1.7.3-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted agda-stdlib 1.7.3-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 04 Nov 2023 12:34:20 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: agda-stdlib_1.7.3-1_source.changes
- Debian-source: agda-stdlib
- Debian-suite: unstable
- Debian-version: 1.7.3-1
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=zT6Ubg3GP/UoMMCSr8EPPHrf9JlYaSy2nTruATGvQZ4=; b=T1xzmZd6WQRkOD40Sp+zZehJDA kbxTYd9/Yd5vIi47CLTnt7LJLcpBBKMhN7vvai8Caf4QmC0VVTR4PriE6vq8vlE1KBL4/bTutaLd8 h8dwqCio+nRdwli0kqn8KgR+VlkF7uGOdhMeeINw/t2+wwSS5qDRBG8gGpT8WAV/h6zgTO5feBaz3 hzfLski/+kRHqj8QhQnJ1sXa2pe06sBaqMSkyLQJjIpwEvYZ7Yh8kKjhSzDIVX4Y4sV2CWRIX2H7I AikC3ExF2Du8s5EA6tI7RnwPnL1JNmfudk+3u7T9OHr5pzEshgTGx4K+1s3NJxoHYs2uDLALHGrx7 QU6aNHlw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qzFr2-001GHJ-N8@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 04 Nov 2023 13:55:07 +0200
Source: agda-stdlib
Architecture: source
Version: 1.7.3-1
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Closes: 1054936
Changes:
agda-stdlib (1.7.3-1) unstable; urgency=low
.
* New upstream release (Closes: #1054936)
* Apply multi-arch hints. + agda-stdlib-doc: Add Multi-Arch: foreign.
Checksums-Sha1:
9205cb0133bc6d8e2197e88355aa2db13324a9fe 2157 agda-stdlib_1.7.3-1.dsc
553cfbfe41042527f03febc14b43631253c2623a 942086 agda-stdlib_1.7.3.orig.tar.gz
cf5b5c4a5f6311e21043371ac4e17d4db5def78b 5732 agda-stdlib_1.7.3-1.debian.tar.xz
b5a25377ea728fce09e741109dffcaa640509fe9 9396 agda-stdlib_1.7.3-1_amd64.buildinfo
Checksums-Sha256:
af6fa95a71e7e33b3039c83bb65bb8b410dc8558b5ea7c2929a121953537c9ae 2157 agda-stdlib_1.7.3-1.dsc
91c42323fdc94d032a8c98ea9249d9d77e7ba3b51749fe85f18536dbbe603437 942086 agda-stdlib_1.7.3.orig.tar.gz
308208d0d6be3acce2860351bf71592b4c3d7f3485f0c58d39e48003dbd8c93c 5732 agda-stdlib_1.7.3-1.debian.tar.xz
808fd8060ca2c1173a9a8b4f07798b93c6e6cb7d231948b4b05d1691f608cabc 9396 agda-stdlib_1.7.3-1_amd64.buildinfo
Files:
191eba6ce103e2e870bdaa152ca92609 2157 libs optional agda-stdlib_1.7.3-1.dsc
c43ed820648c482f48706bd0503c6024 942086 libs optional agda-stdlib_1.7.3.orig.tar.gz
c6fdd2b353661c40598bb2e7a1ce44ef 5732 libs optional agda-stdlib_1.7.3-1.debian.tar.xz
cefb6c7ce307de7bb08361a41d540ae2 9396 libs optional agda-stdlib_1.7.3-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmVGOS4UHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyi6A//WyMnlAfweezB0bLE+kdynEGTW7oy
6Zg3qnZ7QOXra58b9jfDWk/FvnYjVhHIpctbiXEEFhlBtzuITtpVGa8UdUq0neRE
heE1LwBDO736c0iMnOQRrOnQqRumqjrWCAid8F2fYsMZt6u5tuXSFAg/gzrZqvPM
1U2CiqvF2jQxw/wLHko/bgKtk68f62yjw1G+lLxaAGEtMgz15jKTxXrq/JcuHz11
zBKiYo7clm+BJlZ9RbVTC5FnnBBLQLhBRvgOo7JOf99mdX5ioBpoQmlyz5lKLfLj
BIytCUVQeEtenXCQ7onJwyi9Co4ji6A/FJWO773JyKoWj51NPuow8kuv3nYwgKGa
HwoAkMo6WVZGaW1n/YUoOXmFLEmM1Fs2F5fhT2Zqhq/WxcoyyxdmtmYI8UrcvTBF
pJAd3xLrJHGWK75OGf+9SlsmmIjKe4s+Epd6oT86P9M9KnRfIcJU+3Sx4TJUIcIN
QmOq/N/oR5YzlZcCYuKrr5Qd8ivBCWFvZ8IbIw0ghiWrnsOr5MIDv1hfkpE9Lp/x
9iPiUCB47iNCKDVaO5XmCrBjMbYSqG5YjcQpQ42NFkZlROR0bGw2shE7G6zacqGl
DQJvaZvw8BDAB/sr58xjOtQplncZlPs077SKVa9DxsWeEr0K6VVuzNdRes9gEVYO
4kpag4vwWdHQM/A=
=chc2
-----END PGP SIGNATURE-----