Accepted cbmc 5.2-1~bpo8+1 (source i386) into jessie-backports
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 14 Sep 2015 18:34:18 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.2-1~bpo8+1
Distribution: jessie-backports
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
Changes:
cbmc (5.2-1~bpo8+1) jessie-backports; urgency=low
.
* Upload to backports
Checksums-Sha1:
632f5de2acba4da5690f5d05eac2198d5970c1a8 1757 cbmc_5.2-1~bpo8+1.dsc
5af79210a8f3af331282adcc08e43830df0f7b5f 9812 cbmc_5.2-1~bpo8+1.debian.tar.xz
Checksums-Sha256:
62dedd0e05baddeba7bd9c95c3edb00e5306e621963a72de2463f440cb8bd735 1757 cbmc_5.2-1~bpo8+1.dsc
2c8497dc95550fc47776498a6e5feaefa3d75b2252db77cfa4ff582ce09cd1cc 9812 cbmc_5.2-1~bpo8+1.debian.tar.xz
Files:
0ab8952fe1aef78310b58c4b44c2adf2 1757 science extra cbmc_5.2-1~bpo8+1.dsc
ad1006da6b4f7e97c5dbe6fd1bf466e3 9812 science extra cbmc_5.2-1~bpo8+1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJV9wxaAAoJEDu/g5M27KkxhcgP/0T7VoBIfOKIEO9LVX+8siQ7
UIl8GEd57bf63D4upR3sfOTZArQ2F7IbyjIlSQt2Ea5YS4yf44Yxe9GWIcSptOui
1eYvzKyd4P7krAvZuK2VuWEN2HR2JIgoQcavvgX9oJxoTpI3phv8hGBM5cI84l2K
sLTkpmVA+G/ztA5VFHvIORiUbUUZ3jvhBZVu96N5rXttuFpB0kXr++BOcY8U7QC5
vb6iXl9h6Nk6bqWu54ymJi8j3TLQTgB9KwF2op+w4IhW+aii9V30AUxtGP9yIFqz
dgrzN/IwfhDXpNRKswEAPcMkx4vT9BPQOR9Ur33H+FJr89R2wQl1kwaWWVbocRGN
Oq+VQ9C0PpdZJbjB88SrudDWUMAbNwaODE0zulJaHPQtHTNXb2Wpg255GIjYXzZY
toVUHUi7d3aWF/0Nc48IYYWYWIXbhRH68+f9zw17IMrvQwBdQn38LvL6TJIMSxlZ
uEdP02HKikYUGZK3w0Yi8L8MXv79LQ93wh/tsgr36TfXbD1l2NvgEbD5CM4vqt5I
4KzSQPhPx+k+oZhMxZMDos0IZv41Ygvc/2O4vlvV5g3vkHum9r4YtLU1TAbR1ft4
zplxR9WU1lXD2uAGo+khmvUMSUG6lYmWQ4CyEQ2xbrmOMagRFO6cp7OQu/7ZlzqS
2z4ZtV2Ij8TzJvKfmoVP
=uPYt
-----END PGP SIGNATURE-----
Reply to: