Accepted cvc5 1.0.8-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cvc5 1.0.8-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 21 Jan 2024 03:19:38 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cvc5_1.0.8-1_source.changes
- Debian-source: cvc5
- Debian-suite: unstable
- Debian-version: 1.0.8-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=q0D/giNrVcxMD+ce5Owyra8V0L2pAp4ePbAkF1MH/VM=; b=MNxylOREZic+aRTpx68f2tf4GA 0Fddc6q5dSP6wMzDa7tlzLm/4prb+FkKG4aPKSoFiixKbKPKUDQLTFsD86rt0/marZwwVytrFVcsz Aeu7JM/xzX935iPSeEgP8CF8g63WTbY3B++i/BNSCtfk4C92JEYPhd1ZEmAxE1vBf51DsbP9VqDhY f3HTJmbiYPQCop5bVlgLS7FnofonsRB2bG9/alRyBc9dWVHCxyiuKdeHltv0Xgr1c88t6f2jDLoTH rJUs1nZrCzUe90X4nIV988hmDixWscC3atvwqnnK2HIC7q18PZl/Q4Alk9eATqgbIA5+P66gnq3p4 hILLdr0g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rRON0-00Gd0o-2G@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 17 Nov 2023 22:36:55 -0500
Source: cvc5
Architecture: source
Version: 1.0.8-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.8-1) unstable; urgency=medium
.
* Update to new upstream release 1.0.8
Checksums-Sha1:
469631b6982eb209ab7bb6468dac09c40f518a68 2473 cvc5_1.0.8-1.dsc
fcd4546b558244e50ae7ac54b73f67c08eb319a0 8393754 cvc5_1.0.8.orig.tar.gz
a5a5a512f93a67234c96555c0e63bf88e3af9615 6364 cvc5_1.0.8-1.debian.tar.xz
937a3a53fabbd32ea8563cf63892fb8520f1e690 11698 cvc5_1.0.8-1_amd64.buildinfo
Checksums-Sha256:
d3afc4f722c373de71fcbd3d414837e75ad0b425e6fa4acea5eb9400a8035827 2473 cvc5_1.0.8-1.dsc
9b61c6e27609db154657f105d7271a03b7798047b3aab1ca2ab58910fac788ba 8393754 cvc5_1.0.8.orig.tar.gz
83aff240721ed6dfe2fc08592f9c0ec18be8c07c92f03f018f3cdab3c65c7600 6364 cvc5_1.0.8-1.debian.tar.xz
7ed9dd6b5c4b701d4e937f16eead29bc18d576169af13b538c4ebd0b64b5e628 11698 cvc5_1.0.8-1_amd64.buildinfo
Files:
9fdca71987006d548405d5ef538ebbe7 2473 math optional cvc5_1.0.8-1.dsc
39803f43a769b2aed6adf12ab6373563 8393754 math optional cvc5_1.0.8.orig.tar.gz
72aceda61f5eb3d11686d84063c365ef 6364 math optional cvc5_1.0.8-1.debian.tar.xz
87502dd8f6000680eb408ae17a847af6 11698 math optional cvc5_1.0.8-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmWsg00PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iirZsP/2dUjaVHcapXxNk3YEMBppxGJXNxZuf/AYT/
5zFyb1qVfaeXJU8+FWNeRE3Mbl9Sj335cdy+2oGR60pFKuZ+50C/Jv8awtMbsWWP
Q+aUKDqRxfMECTr5rAHjNeJ3SC+6DYGN0yRY7cOwgme4swGkm8e/H9DCiX+yiDsl
0zXaHVJrws//AtNZHIowR+lLaZOhYTR12vd8uWEOiXp6fy7Xbdn3SnKG1821TgNx
XWEm3Gp1vhw28kKz7Tlcny0rBcSSpjfAThgtQ6sHTTuvL1AOdo+r+tw9nGaDlB4R
1CrRqM/D2YJkWE/uz+6c/27k0LMhmYos/9etlnR/yNTBVdE/9f7DLJkVBY+uKYfS
jfH9Llu0xzyz4CxpFXHYhs1xgWMdK4V3EEvYBYBD9Nl7oUWky7t2W69FXYNmuqgk
/ilAaTfYgRK8OY47U2uUbK+llBGjvc/gYo8zOpW7ZfftYPjWbETEhsVnWgOu+uBT
LpgZfcpXnBqEbxG/E/OjZ4cmtO8VK7guhoafxErdXMbH5o6kLbSC4di4oKEUYUGy
V6McZsiV7x79T6pTyea5ZVadW0LkGgVy8DchKxRUwt7Ps5S1BJLxhoquXIXWrXg5
X0z5+TW+8o8cEx0Y1QIwzQ2ArsrlUlM3JtnweDda2dD3f6UxpksjE2SCP0jpRid8
mb9GvwAL
=3zm3
-----END PGP SIGNATURE-----