-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 02 Sep 2015 14:37:38 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.2-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.2-1) unstable; urgency=low . * New upstream release Checksums-Sha1: e62e02d3f4789af68f24c8be7d6d96b4a4f845e7 1729 cbmc_5.2-1.dsc 3caa37cc69e85a56979b3bfb4bc0b4f45141f0f2 5080771 cbmc_5.2.orig.tar.gz fb404f8391cb7c655f2484d93d6daadbd058de99 9780 cbmc_5.2-1.debian.tar.xz Checksums-Sha256: 74d79ef68a8606b9cdb99b84386105322e325a8aa54e9ed5e4dcd766638ce7e4 1729 cbmc_5.2-1.dsc 765215096895a75a25e7eff3c6caeab2fbe6127e01e9c404bf6c3ff2ac23a411 5080771 cbmc_5.2.orig.tar.gz bc026a802046bc5416f689eae61ed2a0bf8b159f52e3848de7441c6c2783b38b 9780 cbmc_5.2-1.debian.tar.xz Files: 39c95b7b85cf882950866691a504f292 1729 science extra cbmc_5.2-1.dsc bfe89ae5f21e666d14ffa9a56f60436f 5080771 science extra cbmc_5.2.orig.tar.gz 75c13bb8b73898d9a87d2e8d6c14b3a4 9780 science extra cbmc_5.2-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJV5y+iAAoJEDu/g5M27Kkxk28QAIikh5YKrYCAnxqtD0qy4ben jSvsiv7rT08BNsaFR7GseDogDEXQPAI7Z/meGw9gzhyq7RxTXE8VCq9JSHLFGec6 IV1RH4FhLzrvZiqy7HOnU1o5yk5g5NiWduWu7P3jjmWcgO7CuUPa3c7e20f0k2hz oz8Z2563x1yJQzTBv8I1y/vvzoQWZqFQDyeiA+ZIuMihrN55yBfYjiKsrw6aA7GI LSHgLGf3n7rpaiS/NMM39Eh7psd+kuGAklP1+1aMBU0YEoN9OYbCh+Pg/sBsgxEj vVKZSSZVKGcCQ1hZkY5tI3mgfCdiaJ+7CtS3/hkD/cj/Bl3ICloA6PUCXEwktLiI 4nTczDyEom8fPuZg4Xoj0cIwCfbo7r9z71mFrHHSbBXVQDbxvd+xdYpzOU03EKsb QjeDqaCpW9EmKgCpHUGjjJh7M16xMssPuVdQjQOw39ZyNhdpROz+zvs1uShCYaLO 0iBOP0AgHnXTv9Hrkcb7A/X0RtUISp4K8hWC12WM6qB+YAErFo8UsWHMwXjojJh+ a9veqK/S/qWvgLcWTZ4/ORJ5wDbKwRqBoFgGnwggacvDfTfQJdxs9yvE7VZHf/v1 +0aGIsDsPRvvcNuaa/CYdEhRsvWXZlkI9w2iUReMd7uM178NuYJImMwBOwWaaKuP Z/Npfx8JcWThUdsEHzhg =RDs7 -----END PGP SIGNATURE-----
