Accepted cvc5 1.0.3-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cvc5 1.0.3-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 20 Dec 2022 04:05:43 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cvc5_1.0.3-1_source.changes
- Debian-source: cvc5
- Debian-suite: unstable
- Debian-version: 1.0.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=fmUiZgsQuYK7kLR9zhbnM+5kZl/yraeI2pxxcIkyqjg=; b=KwXmHPr8FtzO5tJ0QWsJR07I4a 12WleTVNOpKRVLL+WmBrrkt02oAXoRa8ZhSnhXUByUy1RUKSQYnCo5Lt5W7iD3yCR4XEdul5ac7SQ Et7y/65ukBZ37mjLGMe1iRWgHQK6OmdFueW6nneSaKLTTDw1tFyc2nSDssIGz8k8/8v31ka4j7dPt Aq7qHdeZN7e5mnmep8rOII0OxbqyJyTROSACak6w7ux9eyNrbiO14TZxPYi3P4beZ4WlfdCQgGkBd 93pq/tHJm+CSRgcfRTTPJXKdjOseAsOE9F0C9ck/Ot9nuTbSWbK1CQdjXwIkAzq6rG5bcVlYE+0Pj /c/BInDQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1p7Tst-001wKu-Vd@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 19 Dec 2022 20:35:50 -0500
Source: cvc5
Architecture: source
Version: 1.0.3-1
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.3-1) unstable; urgency=medium
.
* Update to new upstream release 1.0.3
* Update missing shared library patch
Checksums-Sha1:
51a730278e8fdcbe892cf01bb8b0f45d4ab511e3 2305 cvc5_1.0.3-1.dsc
8353c57af7cfb72056dae18e3b3284b2d88fc550 8335175 cvc5_1.0.3.orig.tar.gz
80029ea8d57f216b7b5dfe63c0df899e5a89d416 5964 cvc5_1.0.3-1.debian.tar.xz
ed9eacc7e93a326cdd4e87f33d6a5da731ae266e 11041 cvc5_1.0.3-1_amd64.buildinfo
Checksums-Sha256:
1771bd03d0f098a08a1284ea8a6705811f005953799af382effa92e706faf329 2305 cvc5_1.0.3-1.dsc
bf787b74c35ef61958865902e21dcb8f98f79d910b00a9e762a00ff8fcd2c462 8335175 cvc5_1.0.3.orig.tar.gz
cb2e46cad33dbe2c5c39d9806b667e1d81f5ba49388b818968b46d49d33cf319 5964 cvc5_1.0.3-1.debian.tar.xz
e540281c0aac6f51d2c3e3559980d7e447305e4cef757bf931a18512b37e9d87 11041 cvc5_1.0.3-1_amd64.buildinfo
Files:
e14a3ad0a24e5c5c183f968f8deb1258 2305 math optional cvc5_1.0.3-1.dsc
a5109967596dc8a8e0ac3a052535dd93 8335175 math optional cvc5_1.0.3.orig.tar.gz
a24d0c2c511eb308cd17a1cc62f9561b 5964 math optional cvc5_1.0.3-1.debian.tar.xz
cea900672928a948fb2a5b67d0d35165 11041 math optional cvc5_1.0.3-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmOhKRMPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiVW8P/3CiHOq3L5jKkw+E5VWg0dK8LBncL57V1RLu
5htMIL7CPdkGXh5+SedZ/kLynQUXdxh6LngLSEn/gje5LsDqEOerm9/k+XRPbzeZ
Sy291ons/tefhoy/KjnNTVIBImcY8Sk9QZ3TW2/aWIV1VoZe3bZibSn02TWuipb4
2XlV4RPAlddnoHmzwJwfBvZjMYObh+NRsh4WIOGguPO7hfvkWYZAnNqyZAIGlgmD
PpPPYOcRE/agzGVMxXkWyAja5li3NtyV/Fe79ebHGm/KlRZbo+7BXxc5K5IslCnY
hImZ9Ts+DHxL2f7ahXsbC9h7yriFwBJng0G7KOM2czEuva1gZ8YBLaNiM1/iC8Us
B5hcHcJZ46Aprp2PvxGOXRBTcWOM6TB0P4l7Bfe8dsrLmSh17ovtqXvmZ8e82Muj
2vV4LtFdAl4JIpGwraqdBeqk9IphSDbTJAkbdcwveHRBE8zsvTxHUZvrLQm2reDF
4qEXw+oBFhYzcWGbQ6fwwUYGU5LigidGahuHqdV9dbXarZktmGp4nNT8JIn1gH3F
1C0UrUIGUYZUnDZYhm3rpbhjljGdUD4YKymFedYDjsTZKcrtgvbiFOGtToo22Bpy
svjXjMICAS2Snqwsov+bBZuqH8DrsFjkrsrm6OoungNvsEy6SM7xMZ2InZOhbSFB
nWi8SQcb
=QU83
-----END PGP SIGNATURE-----