Accepted cbmc 5.6-1 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 04 Dec 2016 09:18:48 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.6-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
Closes: 844776
Changes:
cbmc (5.6-1) unstable; urgency=low
.
* New upstream release
* Disable Pointer_array5 test due to endianness bugs (Closes: #844776)
Checksums-Sha1:
755eb15e1bc8fc9365a0f30ebd2d0d40e5f70f95 1744 cbmc_5.6-1.dsc
d2beb6e29e66bb1069b3dbbc702b15fb59a96568 5459880 cbmc_5.6.orig.tar.gz
4a92c2c4432642f43e9f43bc4d2b1b6372694ecf 10608 cbmc_5.6-1.debian.tar.xz
Checksums-Sha256:
11b3090d64950e9e715fc8d5afd2c08c0e4d81c034aaf671301b6842d7635244 1744 cbmc_5.6-1.dsc
c6bef63ec42816d0add995ea3b2a5344845cc31f0a6b9e4b8a18df8bb8ad904f 5459880 cbmc_5.6.orig.tar.gz
0d6c4d776f662dc82a70ed16c411446ffe4d9e1de514966abec4c0482d46627c 10608 cbmc_5.6-1.debian.tar.xz
Files:
8fc578de2f81896178a6b6f816414bbc 1744 science extra cbmc_5.6-1.dsc
37d634b10b16dae52fc80436aa046818 5459880 science extra cbmc_5.6.orig.tar.gz
0a31bdd2649de3f0bb427a45b1146706 10608 science extra cbmc_5.6-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJYQ/+jAAoJEDu/g5M27KkxE44P/0kYFcGxl+hcf4FZImxKcbDD
Vs6EKfrLHPF7vCKI+E/V3aT5ncnGjdIFTt53E0so7u74R5N9N4e5HhxTyn7Ol4+T
5RRLN2TNA+OTIX8t92dOe7FUvbzSYxGRwkxxhDBg8kSbk1/WPfSBSmO9L9kE/W4d
TQS69N8ZKI93YJCtmdU4TZr8lnxEvS9BUslGuwMNwQAbQEdXnSmu4CZ4SuxorOGR
KdI6c5PNvDyEDO5pb2jETcAddXfiCc0wJXv8JOYUGhY4p18aYtacSxihg6YNsu92
x5cMMpCf8SRnbT05fQupeymxqiRargrmx7JfRsRxzPT0BVyIul/dE/8Hv/dFYweh
MeD6B62saTFI1xaWSnIGP8XNYl/K3LVPjjxkItskdUS1BDJPELn4/7ID61PhKZWt
Kw4pBfLhnZquCl2NRMchW5ITMWEmY7EiMtbc2yJOBUvW+y7yRb3XUJzzP9eOHOlK
JxTF8y2tuQx4jSEBIv9pavjiUaF9lICn07j1NYKgq4J2rmdgyps9gXpU1b4VwcLQ
k8f7CrbcguF5aQCWNs4XvfoHmnaUf0WRMdwerCE5lFPBiKdyDf4JfSpFg15biXjR
M3TPQGKMyxr7mHiyaYDX+8zv+zHqsl24tfncO7wee5rZBJfbocpqMlPvsXRUemZE
XKP145C84DZx6rvYfrtJ
=XP7I
-----END PGP SIGNATURE-----