-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 12 Aug 2014 14:46:13 +0200 Source: creduce Binary: creduce Architecture: source amd64 Version: 2.2~pre3-3 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@debian.org> Description: creduce - Test-Case Reduction for C Compiler Bugs Changes: creduce (2.2~pre3-3) unstable; urgency=medium . * Bump dependency on clang-format-3.x. * Drop the unversioned build dependency on clang, and allow the tests to use a versioned clang-x.y binary. * Build-depend on frama-c-base. Checksums-Sha1: 77ed3f2d8c6b048d6612fa13b0893b4f6a91140b 1425 creduce_2.2~pre3-3.dsc c488b5d0cc2071927eec9bec676a81f01b6d877c 4548 creduce_2.2~pre3-3.debian.tar.xz f76a4c5d89f4ac73480da2ec4417ee229fc229d2 4516134 creduce_2.2~pre3-3_amd64.deb Checksums-Sha256: a1f97a28300dc3452657a829f8a78eeed805cd7b88978b42d20e75fac8d720a0 1425 creduce_2.2~pre3-3.dsc cf12d476f65bb7d13659157580dbea48f014dbbb22a43229a526d38735014bdb 4548 creduce_2.2~pre3-3.debian.tar.xz af1b8aaa7351e8d16ea62a06f32a301a435b360aead4d9580263efd8f084f410 4516134 creduce_2.2~pre3-3_amd64.deb Files: 9765be0fa9a9fa3e4aaed65d41806996 4516134 devel extra creduce_2.2~pre3-3_amd64.deb e21b18477ed923a63cbae7436fcd6ce0 1425 devel extra creduce_2.2~pre3-3.dsc 505737633de8d53d391ef043ad626c1f 4548 devel extra creduce_2.2~pre3-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlPqUvMACgkQStlRaw+TLJzshACfQNIho2KWCJQIt2afXj+sSE4s 504An13O6RGbSDSFDQJuM+gKoyYiN+sS =76kE -----END PGP SIGNATURE-----