[ubuntu/oneiric] cbmc 4.0-3 (Accepted)

Jean-Louis Dupond jean-louis at dupond.be
Tue Jul 12 14:29:19 UTC 2011


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 <jean-louis at dupond.be>
Maintainer: Michael Tautschnig <mt at debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/oneiric/+source/cbmc/4.0-3
-------------- next part --------------
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 <mt at debian.org>
Changed-By: Jean-Louis Dupond <jean-louis at dupond.be>
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



More information about the Oneiric-changes mailing list