Accepted cbmc 5.3-1 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 20 Jan 2016 04:03:52 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.3-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
Changes:
cbmc (5.3-1) unstable; urgency=low
.
* New upstream release
* non-static-build patch merged
* Re-licensed Debian packaging to BSD 2-clause
Checksums-Sha1:
dbd9034483f8a17506d3b55307e707d69cb9bb3f 1729 cbmc_5.3-1.dsc
3e652dd3f879d1e2f6b37619dfbea535093b6711 5288736 cbmc_5.3.orig.tar.gz
82bfa4d0788890d2f82e797586e1c0d523913764 9688 cbmc_5.3-1.debian.tar.xz
d5fe65509b61b85df21cd8b18339592e99d80dea 96507724 cbmc-dbgsym_5.3-1_i386.deb
f45f17c740c3b73c51202a390c20c3a552c8cfe5 2976222 cbmc_5.3-1_i386.deb
Checksums-Sha256:
539f16ac85877da96f6b7ca9fb8c3a84be9d73e7f7b870a44aeaec0cb119b8e7 1729 cbmc_5.3-1.dsc
98b7d2eac8628cfe8bd246b44f7063c54b08069e280842be975c820553e9cacb 5288736 cbmc_5.3.orig.tar.gz
cd6ba93bda7a9de5df05a8a0c6005c95fa4323b0c9a280ba43bb8eaf38d526fd 9688 cbmc_5.3-1.debian.tar.xz
998e1b925e1827b56f3ef917faeeeb86234b31b28d40dc4bedcd6b001a549851 96507724 cbmc-dbgsym_5.3-1_i386.deb
a730754b751ebf5b8eb6b11d0ac6b4b5ad37b7ac6b738f882bf9929ba0b115eb 2976222 cbmc_5.3-1_i386.deb
Files:
cfb50a7c37da394a0034d554a18c4632 1729 science extra cbmc_5.3-1.dsc
d5f264ae4bd57dab68ce5742537e4661 5288736 science extra cbmc_5.3.orig.tar.gz
2e94748a1c921a8969b8f1ac77cc3fae 9688 science extra cbmc_5.3-1.debian.tar.xz
5034e41a0b6d1670985d8e505fe98b69 96507724 debug extra cbmc-dbgsym_5.3-1_i386.deb
72e5ab84b7f6953ace6b992cf84e92ff 2976222 science extra cbmc_5.3-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJWnxMHAAoJEDu/g5M27KkxvAUP/1CUqLmyWleBu4rk6Szz2mel
xyNXamFTHh6So21FzHu0b/bFdksbQiPI8coREJHKwN3Ym+OcmaKaVBTVJcGKpU5f
uYg0LqMnjkzV3nl6m7BBhxBYQmPtXc58OLmzEwCR8JHzYv8rAgdjbkNIQ1fV2rQb
d1nfcfgGG2KQKuPtTNv9Ew321b7lSCjltVXzk1lO/w6mB2SSYFLdetQ9bMt8cQo1
RlocdaPl17mb/eFGMB15GfJLsqfxqeLA1JK/QTn046A9afZh2je5hHePcrXv0DiN
kMRLJ8+zxyvw9/M417LKGuGkdqFZGGWzHa6g0Den5aM+ybE4WV+sblMDzbGXut83
gzlPMYtLYejSQ1w5F2v4RXBxj4q/hlvVy/ir5tuQZuCt72ibNmz0NOHg9ATd+EvP
vpCP2m0E5h+FUppsdX1xYSwdHL4yeF8BO9nd92LpaEACEeNAaNrSJo480plJqJUN
R7xrQ/t29g9ho8hQAZrAcZGGXOa0LhSf+hFxO6Vkze5A1Ntgoybn93lEUMISeUQV
ei8a/vh0PSAfqzG/TWTqdraDn12maE3KD2R6hDpBviGW+ppJXDfZ78X3vCJNL1XK
MPKcs6BbXhFB1ENJqdrqSy87Wdy7PYoYJZQDMAH0gvJ6agNSjPwwEsUm+qX49VsG
30a+PsU5fDkAN9ZE/mBZ
=DupZ
-----END PGP SIGNATURE-----