[ubuntu/quantal] cbmc 4.1-1.1 (Accepted)

Fri May 18 23:18:09 UTC 2012

cbmc (4.1-1.1) unstable; urgency=low

  * Non-maintainer upload.
  * Add fix-FTBFS-with-gcc-4.7.patch patch.
    Fix FTBFS with gcc 4.7. Fix missing <unistd.h> includes and add 'this->'
    where needed.
    Thanks to Cyril Brulebois <kibi at debian.org> for the patch. (Closes: #667131)

Date: 2012-05-18 21:17:12.326469+00:00
Changed-By: Michael Tautschnig <mt at debian.org>
Signed-By: Micah Gersten <launchpad at micahscomputing.com>
https://launchpad.net/ubuntu/quantal/+source/cbmc/4.1-1.1
-------------- next part --------------
Sorry, changesfile not available.