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