Accepted cbmc 5.89.0-1 (source i386) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.89.0-1 (source i386) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 08 Aug 2023 20:40:58 +0000
- Debian: DAK
- Debian-architecture: source i386
- Debian-archive-action: accept
- Debian-changes: cbmc_5.89.0-1_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.89.0-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=yd3qjtbpoHVQhSwr3G/WzXHP66osFZ5m1Qpg3vx2APg=; b=pY2QXQdv6uABaYUjtP6em+PUVq LJJtwb2crM0UuWQ1ThYJiLvO1DAsAn0qGH+fTXmQr2O6CgZ3oF3QXSILvH5R4KVBi7X3g5fJtdmSB v+eno6aUjarGGGmCiCAqfZKEn5raTzuh8cRwrRMH1ZO4OYyC8mzE5eBVbQq6ZuMeekxi6JcozqRRs id6MCH574uMYBtVRf+6g/TQwy8aaY6gP/TlGKCsHL7/TKc8y/9UKouu9vxMZUBql2d0qSneNQ1ol+ 96F0u3ceo65LXuwUo4CEuba1Kbv5M/rGOv1WwEZy9XJNWLwGTiTxVOCOcgtMuPgUrwwJspJDXbPUs CogdYKfA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qTTVi-005Lx8-HT@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 07 Aug 2023 10:59:11 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source i386
Version: 5.89.0-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
jbmc - bounded model checker for Java programs
Closes: 1042030
Changes:
cbmc (5.89.0-1) unstable; urgency=low
.
* New upstream release
* Fix includes in endianness patch (Closes: #1042030)
Checksums-Sha1:
bcf9cb905e5b6c8aa30242ff5dc8493ebec0da1b 2957 cbmc_5.89.0-1.dsc
18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.89.0.orig-java-cprover-api.tar.gz
ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.89.0.orig-java-models-library.tar.gz
21ca9735b75fc73082c5ac0b51faea16f5771e9e 9012762 cbmc_5.89.0.orig.tar.gz
99be6519be334100e797d5ab1faa1f8493b2256a 58588 cbmc_5.89.0-1.debian.tar.xz
4ff39322e87fcebe2040cf68801f3a976dea311c 604902184 cbmc-dbgsym_5.89.0-1_i386.deb
69a1b4b53e5618360c3f34e6a4f033950d226f8d 13619 cbmc_5.89.0-1_i386.buildinfo
fde03b17d2ad8360459ab5950f4c8f67a9450223 21556844 cbmc_5.89.0-1_i386.deb
57a8ddc5c49ccdbb7ca65dded61079cddd4a3642 227572980 jbmc-dbgsym_5.89.0-1_i386.deb
e8791f6fd4be80d571d401d0686e64d6809037e1 8570080 jbmc_5.89.0-1_i386.deb
Checksums-Sha256:
689db85066cc53941c108abf9dc57c1b80cb05d38d5fd212cbd37224af3f3453 2957 cbmc_5.89.0-1.dsc
70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.89.0.orig-java-cprover-api.tar.gz
13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.89.0.orig-java-models-library.tar.gz
8ca046a8322da5620f5d24787aa8f0e71b300df487b1ccb24b1025e01f51666f 9012762 cbmc_5.89.0.orig.tar.gz
4302e22bc870de8c96d21dfbbfb9a1ad69fe60ec3b8aa06b8dca3272b443a243 58588 cbmc_5.89.0-1.debian.tar.xz
0e495aaa58dfd27068f87eafb74b7efed30083475767aa844bc94aad1a35105c 604902184 cbmc-dbgsym_5.89.0-1_i386.deb
c6b01393431512571c6c7a9bf718c597727ec47eab7a1f09d0b31d810546a80a 13619 cbmc_5.89.0-1_i386.buildinfo
a4a47366ac8db153cc4aa23a041c1c5401973e391a1d609418b61c13029f8992 21556844 cbmc_5.89.0-1_i386.deb
d150cf45d415e231fadbec82b5dab461fc1fbd2d81b5176c20f5ccf25177ee89 227572980 jbmc-dbgsym_5.89.0-1_i386.deb
ecd109d5e33bbe1f5e9d9bc6c92f1c09aae49270ab6d7a2134076d30f02acd14 8570080 jbmc_5.89.0-1_i386.deb
Files:
d09db08a458517782796b75dfcf8bc86 2957 science optional cbmc_5.89.0-1.dsc
245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_5.89.0.orig-java-cprover-api.tar.gz
6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_5.89.0.orig-java-models-library.tar.gz
f76b72c2b74d1601697d263d4feee901 9012762 science optional cbmc_5.89.0.orig.tar.gz
4e172d8c5cc4e3f1a66fa3a97a9720d9 58588 science optional cbmc_5.89.0-1.debian.tar.xz
412b32d8a9e5c7f00989a50f32185cab 604902184 debug optional cbmc-dbgsym_5.89.0-1_i386.deb
34fffb65810429d57c5b44122eef1888 13619 science optional cbmc_5.89.0-1_i386.buildinfo
72674bf9b859864ac378aa8eb4c37abb 21556844 science optional cbmc_5.89.0-1_i386.deb
c36402bc3257cc296b36517fae2d8bf3 227572980 debug optional jbmc-dbgsym_5.89.0-1_i386.deb
58b4b5864597110cf08b6b33c22c253c 8570080 science optional jbmc_5.89.0-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmTSnp4OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHQvxAAlljaox7Rm7xkE4t4l6yPJZM6Ncmwhu4/hzoh
YsrKcJ0k0MMOmf0EWB5DkwDoJCQciTdlT/5v8Fpckl3UWdYRaLbx6Wum9o49X+SZ
lGSkZVPwwphkJza1QeSlhncX3Lq0HZLSycEAJbalynZAVcIyUB/euxdww5KJuGus
dYH+5lSLDQQ0I8WZdqwAOUBLfmyh+Ip6CCrl4IZXXqSS4+sGjaED8OMKGBioMM0l
HIhV2KW15pSVBBcjEtQu7ly3kX4xh/jJdTnBdKyj81jBA1Pr3p1nNUPe0POvDLbm
9VIBaKMbdw6Epd9elVarCcuteI8hN9kuSlTcvVFPX+AV8t7KJKnpTgIuozvUoSM2
zaZb9JNxTRp6fguGgo45xL62AN71IiB5szx6fdO/yoijJFmEDkKolN1OaTxaY/yj
NAmQm01tUunqkm3ksPFTrdVvrUy3F8i9CWxzSSgdFPJxXtSRA/FXJKLONqdNfNCi
87fZplFs+DBihAE09xJc+ew4J9x5XZwGR9CkIyZwtwOd3qA5OA8qPaRcdMyWOHQI
LPy3UTBDbU7xq9LAzE/hrpmQVC2jPVZ90ETi3luvvrd+pJLaB/N5aO1gF+Bxwvch
hN5L8gNHQrsTgVAklIcs6NWwR1oMw4a4WDcI1WXo+g5i63Uofmm8i8ROnFjjQbfJ
sU3rIBk=
=5s8g
-----END PGP SIGNATURE-----