Back to cvc5 PTS page

Accepted cvc5 1.1.2-1 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted cvc5 1.1.2-1 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sun, 03 Mar 2024 03:20:13 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: cvc5_1.1.2-1_source.changes
Debian-source: cvc5
Debian-suite: unstable
Debian-version: 1.1.2-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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=QvXXg9x62fxDJm1+hfjQE2UStmwuf9MAJ2KBOToItN0=; b=hxLt1BWiF8Xh2JJsGMgARIg7v8 +JUhbnT/4YDkskcICt8fN+IDL6SHpgdsxMyIhj2fowv2Sfu1DxoqZTl1RIffYfNYUkz7XsHtcj4z/ 1uD8sEWAzXc3qQfJ+aQCIeqNLrYOjCqPYWjOO2uJTu8INHYmFHeL3rWhHVp1hKNlsN6i41XV4+Sly VlJ46vKEzafBSQlI5SoolxOBpwff3ZhQwIbjEejlNX8hKNJhdNp8Xc/I9KTdupRYE0ns7RZF4kgIK 47WG3e1/OmDQr8yQZAwXelQHw4TG2UQHlOLX0kTGl5BeYWum6nLSQjXshI5Tdd4eAWByceYfHLQgj eknkNcXQ==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1rgcOb-0076uV-RA@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

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

Format: 1.8
Date: Sat, 02 Mar 2024 20:01:51 -0500
Source: cvc5
Architecture: source
Version: 1.1.2-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.1.2-1) unstable; urgency=medium
 .
   * Update to new upstream release 1.1.2
Checksums-Sha1:
 dc719981bde4b4a90d9c830f236d5f4134f5711a 2470 cvc5_1.1.2-1.dsc
 3bf478e692f6d1861c9d99a81967c89857e71df2 8581968 cvc5_1.1.2.orig.tar.gz
 e0df5706673fd98cdc9d21d5614f7a076c0b39ba 6472 cvc5_1.1.2-1.debian.tar.xz
 96a9ee486a436732e651f876a355f2578f671e97 11515 cvc5_1.1.2-1_amd64.buildinfo
Checksums-Sha256:
 22ab2af3a6f6c4ce245d3129c39ca39238238aa251155d6c46d5b8a68d5488b6 2470 cvc5_1.1.2-1.dsc
 f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a 8581968 cvc5_1.1.2.orig.tar.gz
 037f379f562840c913821d1dcec9caa67424e609dea8943f6d38cf8734759c57 6472 cvc5_1.1.2-1.debian.tar.xz
 77d16c8462308b8e82a43ac403ad04f47aa8cc8abb9f6cc6d793b92b699c220b 11515 cvc5_1.1.2-1_amd64.buildinfo
Files:
 d7280cb5724a1049ab8097333fdc6330 2470 math optional cvc5_1.1.2-1.dsc
 5ba472c11efbbe067a2b2209c2e59aed 8581968 math optional cvc5_1.1.2.orig.tar.gz
 89ed3dcd22aaa6b0a61c6169d9f8c9ad 6472 math optional cvc5_1.1.2-1.debian.tar.xz
 4193abaff0f725580b728f69db05ac5e 11515 math optional cvc5_1.1.2-1_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXj48gPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiG2QQAKxY4pa6TVjL2OxK4xZ4TI/BB8fDreG9vPXx
QV5PiWgsBYFZwPSbnZajQZQfMil4wNhip0iyGkHKJCqcmACxOS8LIT+vm+85CiDK
0vdsG00OXRvRAZMjQP58ihFSD7Po+1qSRM0EPfSeNK1SU9wFr63vxykexOlpo0DS
VMHeR5eX3d6q6TtGPT6ccVfejpzIsZgY3WuucQLQQHaFOFITmmgRRPk3yierAfGA
c3XzJwiFRzrSi0STrB0DUXuzYpFDoNicoARCc0xGr/Zz3K8m1XHkHRWVYrS0OoZ6
jqLRFXsN421bm3CKSxZVHszfQnbGdAG8JP2P+aRjhput2SCUf7tc32KLoa9ELj8g
4MUOaKZK7lNpngzNUKlj3HtAQ9XpSkmzARxEMFR2Gqcf6hIOW4nIHZfMeVhnBUZj
YeggIXNQsXsgaFaMCB9OTdb31M5KzGNWHC8hScPlBYHLWziggo8kk3zAkDuHAqBz
JPIb4JsZznys6A/JBxIyOUPu4dxbMXx29OxtugX/oOx0HbsxBcESoqQGi+HNdIIl
fwWuUwB/W8J1bNHcMT5Tqfb2epIdzVnFroJ73J14eBZsm3jb4/pIGrjP8WyLlhni
6QN9Cgxo1ub07hmj/1bffmVD98zsHHoDuAmzr0fvM6QzdhpwfofXwcGfVm30pv/C
gK7KY+AE
=8JXy
-----END PGP SIGNATURE-----

Attachment: pgpI8PPaInkfK.pgp
Description: PGP signature