-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 14 Jun 2011 19:12:10 +0200 Source: cbmc Binary: cbmc Architecture: source amd64 Version: 4.0-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Michael Tautschnig <m...@debian.org> Description: cbmc - bounded model checker for C and C++ programs Changes: cbmc (4.0-1) unstable; urgency=low . * New upstream release (all patches merged) * Requires suitable minisat version * Working watch file Checksums-Sha1: 9f90d565023171a892dbe4a5259c1d3bfe81bfe3 1025 cbmc_4.0-1.dsc e104d29c56bb6bf85250ea643fc04f67bf0fce9d 869203 cbmc_4.0.orig.tar.gz f6c10277e0793d73a4c056fa27db79e9326d8db0 4522 cbmc_4.0-1.debian.tar.gz 9fb7ba8ee0aa3ec2958db07ec3720314868b3d39 4515896 cbmc_4.0-1_amd64.deb Checksums-Sha256: 66e714b47478521958cdc41afe8508a92b965f835164333c4780843e175a0d78 1025 cbmc_4.0-1.dsc f4b780fd81db80ccfde1704319af58a641bcf411a4f724c43e2a127212650c45 869203 cbmc_4.0.orig.tar.gz 413c8717440cd7081ddeb85dccb2a1218cfc7d975befb4dae91a287e410b0565 4522 cbmc_4.0-1.debian.tar.gz 9e973a4370b1a65aed35b8249d1f9965f784493719dc47fa2c5155edd9b1729a 4515896 cbmc_4.0-1_amd64.deb Files: d4bfac7702777280271e3373d0770293 1025 science extra cbmc_4.0-1.dsc 5752b25a62d33a6a6769efd3a6428f37 869203 science extra cbmc_4.0.orig.tar.gz c76d4a6d77ce60cc312d5a0f4705ba29 4522 science extra cbmc_4.0-1.debian.tar.gz 5e92b6e01e80ad2be728985f73ab5e97 4515896 science extra cbmc_4.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk33nuQACgkQvx6dH3bVKsR6LACZAVh2SLRH6QoXzBzAckS17mwB TrQAn3QVi4apNF9mqiT3Kcz19WERNaTp =5E+J -----END PGP SIGNATURE----- Accepted: cbmc_4.0-1.debian.tar.gz to main/c/cbmc/cbmc_4.0-1.debian.tar.gz cbmc_4.0-1.dsc to main/c/cbmc/cbmc_4.0-1.dsc cbmc_4.0-1_amd64.deb to main/c/cbmc/cbmc_4.0-1_amd64.deb cbmc_4.0.orig.tar.gz to main/c/cbmc/cbmc_4.0.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1qwxwt-0002oe...@franck.debian.org