cbmc (4.0-3) unstable; urgency=low
* Make sure $(LIBS) occurs at end of linker command line to fix Ubuntu build
failures
Date: Tue, 12 Jul 2011 14:20:29 +0000
Changed-By: Jean-Louis Dupond <[email protected]>
Maintainer: Michael Tautschnig <[email protected]>
Origin: Debian/unstable
https://launchpad.net/ubuntu/oneiric/+source/cbmc/4.0-3
Origin: Debian/unstable
Format: 1.7
Date: Tue, 12 Jul 2011 14:20:29 +0000
Source: cbmc
Binary: cbmc
Architecture: source
Version: 4.0-3
Distribution: oneiric
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Jean-Louis Dupond <[email protected]>
Description:
cbmc - bounded model checker for C and C++ programs
Files:
47b9aebd09324410f6d52002ba6a402d 1025 science extra cbmc_4.0-3.dsc
3871aaf43e27f821b2d02375f6152431 4929 science extra cbmc_4.0-3.debian.tar.gz
Changes:
cbmc (4.0-3) unstable; urgency=low
.
* Make sure $(LIBS) occurs at end of linker command line to fix Ubuntu build
failures
--
Oneiric-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/oneiric-changes
