Back to cvc5 PTS page

Accepted cvc5 1.1.2-2 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted cvc5 1.1.2-2 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Tue, 19 Mar 2024 22:35:00 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: cvc5_1.1.2-2_source.changes
Debian-source: cvc5
Debian-suite: unstable
Debian-version: 1.1.2-2
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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=o5MKafWUmK6ok9indFcZ4Fn7S9pihTiGl6rVoxWvuOs=; b=ARzDEdUAm5VUAGe44JQyTm02GN EiHhf0HK4dMtRTFnf9bPdFLFl74LxW2nPKe2fbadchjPOxvxjx3lEErPOuvNTj+am6aaKDUu9nyMN JP30N7KZ5hSsPztrod7/NiUKmGU0PDZ8wMO96hiY52CXvCPWPgk5YyQkNvvQeMjf3SlJbP7Fgvi4b 2NRJ3P3oJM7qmI7avppIILMbtBMf9y268bVwBI/fkgFjqveFEcYJWtmI/w2AQkNAFLgsvTXq7kHZX 0ghLROrm5QvNbgrqioniBFAkr8VfxKbeQiTiw75zexAlAKouu6PDJYqmVCc269ZJxO9dWzN9TOCF0 hBt5kd5A==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1rmi2u-004Uo5-UK@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 18 Mar 2024 20:06:23 -0400
Source: cvc5
Architecture: source
Version: 1.1.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Closes: 1044976
Changes:
 cvc5 (1.1.2-2) unstable; urgency=medium
 .
   * Update debug and rpath patches to be more upstreamable
   * Use default linker (instead of gold) to fix FTBFS on mips64el
   * Mark libcvc5-devel Multi-Arch:same
   * Run dh_auto_clean for pybuild to fix build after build (Closes: #1044976)
Checksums-Sha1:
 2ee61b2f2809bfa60ef778a26ccbeb4e28594266 2470 cvc5_1.1.2-2.dsc
 3cd5c3e0f9d3440e035804f1df474209df788451 7396 cvc5_1.1.2-2.debian.tar.xz
 5b502d6d5f73652164d728c1e17260d514ff2c82 11445 cvc5_1.1.2-2_amd64.buildinfo
Checksums-Sha256:
 60c8f76449c4cef9b59f9ea8a295c32378d014080a50931be6080e46d88fe69b 2470 cvc5_1.1.2-2.dsc
 d222819780d8afd7146a533316277f2e0c92b618de69114b9498584b36af838f 7396 cvc5_1.1.2-2.debian.tar.xz
 33567ecfbbbbbd4a57813ad9d7fde18ac855596c6dbf33a52d9a39e8732774d6 11445 cvc5_1.1.2-2_amd64.buildinfo
Files:
 ffc9db34c53f5a4bee55441ee4dce9dd 2470 math optional cvc5_1.1.2-2.dsc
 1283632c1cc35bd3910e8424012429a6 7396 math optional cvc5_1.1.2-2.debian.tar.xz
 5b963b3c37bcc44662d2147dd2516f40 11445 math optional cvc5_1.1.2-2_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmX6DeUPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiI6oP/jGKkXCXTgxS8zNIv99buxNE+JCJKImmSO0g
vr2HjNw+//2MgRPWrOLaCR6Jt7DSOY+/cki476Zmjdo8Eim69TqPLBbzoEmDeMcL
9GN+X8wvALFu6gIgSY0gtxIHd4vp8KLp0yK00b0zmEd3PPsHIPTTIoqkuLPzc8SQ
0ZWLTveLWTF5ix/cAcOUNmkQnOla3qhfMZ6YNmn0Fw+oEYYKnhyejwRkpwM5rzhC
FpblfAiM9x/TugCnpvn5BY5owYcpWf/46gogzhSe39z+bjo4nGx06sHopedemJjE
SGgvD2c7L1r6AKgQzaD8REe4Egt2Lhb6HP3rg0+0RxjPBogzJ87czu4kBgbGNf+j
c6QYrdF0mK5KoR1cwvbHfSjaZST1bYRsQXs90+qrqToGg4ZiIPKCfVv/OxrPYymV
lzokXYe+wzWw2DaG628jPzvxyExOnbrV8MQ59WR8NYQM9wsEPblOv/SJCo6SvNkj
dnJSVmHoCgXzgWyvvtJhM3l9CzaFGOrjahYzefYqM1lq9VmCVWyo2l+BuOy/VuwM
MqsZ4B8qKLAuFdShYECp2iLUNckfJF96KeMIPl373cJWqz9IrGqgf5r2mhopD5nK
DYqSz5N+A6w/Hg1Zt800iQo8y73Z2OvfNIeYnvFBHQTP9RkMVrTmvFmDjIxUhzDW
Un1EeB/0
=af9Z
-----END PGP SIGNATURE-----

Attachment: pgpK1TBGmn8Mu.pgp
Description: PGP signature