[ubuntu/raring-proposed] cbmc 4.2-6ubuntu1 (Accepted)

[Ilya Barygin]

cbmc (4.2-6ubuntu1) raring; urgency=low

  * Don't fail on unused-result warnings.

Date: Mon, 05 Nov 2012 16:13:36 +0400
Changed-By: Ilya Barygin <randomaction at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/raring/+source/cbmc/4.2-6ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 05 Nov 2012 16:13:36 +0400
Source: cbmc
Binary: cbmc
Architecture: source
Version: 4.2-6ubuntu1
Distribution: raring
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Ilya Barygin <randomaction at ubuntu.com>
Description: 
 cbmc       - bounded model checker for C and C++ programs
Changes: 
 cbmc (4.2-6ubuntu1) raring; urgency=low
 .
   * Don't fail on unused-result warnings.
Checksums-Sha1: 
 79578571ee0fd6fcd617a9a76bbee30e7b62af24 1462 cbmc_4.2-6ubuntu1.dsc
 0c316a2d92db3060e8a37bc193e4e80340662969 7414 cbmc_4.2-6ubuntu1.debian.tar.gz
Checksums-Sha256: 
 2e1bd731b33a5bc71ecbf53c01e385e04404705baadde24e00cf2f1801db0e8c 1462 cbmc_4.2-6ubuntu1.dsc
 bc3d9d3d5529371aab529176939413365032a9420f4a928985f322e79b14b755 7414 cbmc_4.2-6ubuntu1.debian.tar.gz
Files: 
 3b9fbb9fcef15c263a5d4498f65549ac 1462 science extra cbmc_4.2-6ubuntu1.dsc
 3518bfe5123a0d21db0cf55331afff65 7414 science extra cbmc_4.2-6ubuntu1.debian.tar.gz
Original-Maintainer: Michael Tautschnig <mt at debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQEcBAEBCAAGBQJQl62MAAoJEP+gcEe5E+JxL3MH/iZOaEWnRIohHXJw73WJ6RYm
Vx0HvZwDBRoHO1wZpLVg4Zxa7I7mGiIC3lTXa4yKxfELQUt8bQDELC7No4cXfIkr
C8/tusU/znvHAc9VP4D/+hQvMdprO+SC3H1ki13jUor60Dwg0tugoH4RdYrPwmcg
s6af3p+ydFweAeU0UlbNoqCHt36CIjqROwMVInU2AsgMZtxnT84L9PObCLPHROqN
6mxdfbrIKeWBsSveOv5xX9ITaYeCuz9AobXTcahMzkoTQpRUh02ybEw8qAgE64YN
a/1RM8dW+QPCWFrveFVldZC1WcO2IaIgXaYLmmSMHd/WUoR81HarNSovFNBsc30=
=Mml7
-----END PGP SIGNATURE-----