Accepted cvc5 1.0.5-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cvc5 1.0.5-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 20 Jun 2023 17:19:36 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cvc5_1.0.5-1_source.changes
- Debian-source: cvc5
- Debian-suite: unstable
- Debian-version: 1.0.5-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=Ptf5fQdOUGFLgyRf6yY2wd+ARtGJ/ycVu0OgbwW65Hg=; b=aZWNcT/1skrs3i2NXOn5atsp4g 1xK+lqBTe1ZPW/Q5zdjM4dPAdBct6jUIhsCIsPKYGHHDt2mUajBPZnY63E0KK5CKMaVqDvNAs6b61 cFQTa6uBx4Jp/+j9CEiRr3XSzn4s/QUOqOs52tEU4vRhNkt5c9cSegmRirZVKoD3J/4P87nCggmoU 0aUzQ4ErX1a7dbWmbSWMbJ/Rsvvf7qEPvzQ+4YCLRre45qq2viiBIbPgC0cecQX3YlYTv28KIa8d/ PWhatxbRtv568odWOkJ/gqSLHeie4P/Ll9p1f2E2wYz/KC8tK9ERHbBbNGdE3zW3ay60KDne/mAHG Tqaq+YeQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qBf0y-005SvD-43@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 20 Jun 2023 12:11:06 -0400
Source: cvc5
Architecture: source
Version: 1.0.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Closes: 1037616
Changes:
cvc5 (1.0.5-1) unstable; urgency=medium
.
* Update to new upstream release 1.0.5 (Closes: #1037616)
* Update Standards-Version to 4.6.2 (no changes needed)
* Rules-Requires-Root: no
Checksums-Sha1:
39687f886029d105f62972b9cec76335432ee8e1 2335 cvc5_1.0.5-1.dsc
62afe28182342c622cd938b68ec15f3ec8cbae12 8431503 cvc5_1.0.5.orig.tar.gz
2f83c8d1747704a19ea5f702d881f9886d32b04a 5988 cvc5_1.0.5-1.debian.tar.xz
9a66f4554ef36340338311afe79bdacd0f758753 11044 cvc5_1.0.5-1_amd64.buildinfo
Checksums-Sha256:
4f58c5af24fa1422bdcd17a86d14fe77e66ffec36b015f01115672b4adfeb757 2335 cvc5_1.0.5-1.dsc
a9705569fe36c70291dd1eb6dc5f542d33da51f82da46558e3455ed6995b1b7a 8431503 cvc5_1.0.5.orig.tar.gz
70463900ae6be8db0431bf8abe0e3be347454cfa621ef81c35d2da1e17d700ea 5988 cvc5_1.0.5-1.debian.tar.xz
b8da5839eaa3dbd744f30cd11dee39318c97d3f8e4a4751b2b317f9fb92d03bc 11044 cvc5_1.0.5-1_amd64.buildinfo
Files:
50f8389968f809415ba7f283cff767cb 2335 math optional cvc5_1.0.5-1.dsc
57717622ec2afbc8664b6865c4142833 8431503 math optional cvc5_1.0.5.orig.tar.gz
9a4a6318a0c1b5b3d11ca9ff5187d574 5988 math optional cvc5_1.0.5-1.debian.tar.xz
08199fdae94774fb34baa686c4db725e 11044 math optional cvc5_1.0.5-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSR240PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiGQcP/Ri+x4Xf8aQ1N7ryje1YL3f+dvIfBdxLtA6s
jiGPBJV5n5IWN9UDC8/f0ECVejoB7nZqhDyBgiyWKJpObumvU2DZhpvNHPXA6jgA
Vzoya7Zi+g9xd6cp0zs/H1GSRe8e6yf5trhYeh+8x9m4y1QXbY+ovxV4AvrfiLnI
XYIhoemxZ/6l4PxmVOGNt0mduEpF98WQE39/mEgCw3rl2WAn3JaBjizbXXatS1Uq
QQ4/xrDh9zZjvuyKnNqiH3tsYNr+p7c/uXXhYGJJj0r39p5dZwdqIcaJgiRcGnKR
STLM2AivdE+V7Ga01frzQ7RhVRZQ7iPvkdxjTU9/WEFAngZDnmlHiL6T4mmjzRf3
nvz2qZk1acsK6Q+hnmDTHaPQqAJ9odudEP7+Lv25nf082gCF4N7UZErUweZGSKmc
PCEtRNCx6BhvKxVEHtWrf2Ps7+HVJxGIBDNfGhBm8+PCaSOLjhB5ygj7VOZSWHlx
kLZHphpwVADYii4zhaa7MoJvDDISV+tmh+SIhBlwb3lr9bLtVE/d5LQ6h/deX8Ui
PeKZrv8mNcJ9GQvVy2tYcvgP/0QdFyuHpb7fW+QS3iG20f+uL0EbcPSLs/BLHkt2
72Y6B8YMEagNrrlMHtFMhjKuymUVm7Ikd23vTrDi18zv1wiAIJIJboYu5rxniZaO
14EfMJwH
=ImVP
-----END PGP SIGNATURE-----