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 <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/raring/+source/cbmc/4.2-6ubuntu1
-----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 <[email protected]> Changed-By: Ilya Barygin <[email protected]> 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 <[email protected]> -----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-----
-- Raring-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/raring-changes
