-----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-----