Accepted cvc5 1.0.5-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cvc5 1.0.5-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 23 Jun 2023 20:25:43 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cvc5_1.0.5-3_source.changes
- Debian-source: cvc5
- Debian-suite: unstable
- Debian-version: 1.0.5-3
- 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=+ePhvKFH6fvyU76rQbbdtkbfi9EZ89leCEEmf0SZs/w=; b=TDw8jQD+vPa1CpHfqw/khj3/J3 I/1eutjhXY4zRy8QgRg766gEqmH1VzZyAORgtbWqHqs5olaEEmfU22aYgYKvADmLQB42sXJ4t8y2c SPVgEQvrgau9bcLPiqbpTr71rd5CCsOmnDyi+84xOiQkHc5WbHzAzDTMrBNvTiWzDtwPpcHg+M99B I8te77OLI4I0U/x5oStkEatkWJwlNd3+z6MDdjsz/ZV5UtRzUUJURIU8bqWmnBWRr9z6ZIe/XUjcC xVsUN/5fTgwQO31JPc/VzRrhd7qaU4q8JGxcRyXAU8kh/J4lbNddI0NXBUcpdD2V533CCLqFYjWEu JNAWTocg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qCnLj-002c5e-HI@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 23 Jun 2023 15:50:35 -0400
Source: cvc5
Architecture: source
Version: 1.0.5-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Changes:
cvc5 (1.0.5-3) unstable; urgency=medium
.
* Post-NEW source-only upload
Checksums-Sha1:
8e316db10aeb399cbcfa395c0c57ee7de3267d02 2495 cvc5_1.0.5-3.dsc
7e0a9d7aea61350e4b02b63e27fa6416f52debe9 7072 cvc5_1.0.5-3.debian.tar.xz
2c1f88a06513ca04f69171b948167c678aa7447b 10598 cvc5_1.0.5-3_source.buildinfo
Checksums-Sha256:
70898638fd11aeb1e31d04370688d310ee523c248cafae52b6dbc21069d2c70a 2495 cvc5_1.0.5-3.dsc
5bcf8290d17fe2481f9f97c9f011a8be10b3111b51b75d97feed3d829ba0956a 7072 cvc5_1.0.5-3.debian.tar.xz
5cffec6de1aaa2525d7842f7366ba205ad033ae6cc73648bb37b3a09099042cd 10598 cvc5_1.0.5-3_source.buildinfo
Files:
4b664462da59f285e3faab0081915ad4 2495 math optional cvc5_1.0.5-3.dsc
584594a814c4ba284317287007c353c7 7072 math optional cvc5_1.0.5-3.debian.tar.xz
b9d4ed27e602a4613b6e12cac5e16c80 10598 math optional cvc5_1.0.5-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSV974PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiGSUQAJLnoFikLi/ontpNC/zv7N3OH7dgC52cn2I+
DT5FCI/C0reW4tbPGdCcGgh9E4jQqeWDWSjru9izg3AeWcUa2Z7zM2rHoffTHwLQ
lDJu7K7Avx/8pRgEwwzN5crMGwvwPV044G/FxKDm3M/Sk2vd4rAlqnCCjRMSc+Ie
8ALFX4uILPXsXEZySINOveFwacV2eyVDNZ/I/rYRVL6adYcrXYdFAsjZQikbKese
asexxQC9uDzhNhCvuzHUIx433RqlyCvxEFiZtB89m+9T1Y0YMcEM+oUOxyw+PNjI
7Vm3BcZSm1h1S+688YGzBnOUZy6JEEBuXojKyOZ3hjHngY53DeUV7QOaVnnmAHDG
7CjLw3lqyphjT2THyk1/0yCWhtNrOyMNdxm3V32ZtRkIgShENnp/PeZuqVwp8ix3
/LJzLsqgbnb31y5b6BqndaXpxArGpBw5Kyn0tPecS4q5fdQl/PKC7SdU2YsnqsaY
Gf0FsSSM+DywnJ0ECEnwXgDaJyGcBOKlvzTJKVpMuD33d4w6uTQ0uGvps7usdGYd
M4Qs3rRREZxP8Ts/VX11RqTN+qLiODd59dk85RTlQCtVXew43otbUCZtvdhS+Bsl
bbWDoHOJ1DIjYXEzZJT+qXhJIHlJiDVQjFBnvf456Lr2V+YoM4GmiHvRrG8NTBAe
uYhklCc4
=abIO
-----END PGP SIGNATURE-----