[Bug 808747] [NEW] Sync cbmc 4.0-3 (universe) from Debian unstable (main)

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Jean-Louis Dupond (dupondje):

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

 affects ubuntu/cbmc
 status new
 importance wishlist
 subscribe ubuntu-sponsors
 done

Please sync cbmc 4.0-3 (universe) from Debian unstable (main)

Changelog entries since current oneiric version 4.0-2:

cbmc (4.0-3) unstable; urgency=low

  * Make sure $(LIBS) occurs at end of linker command line to fix Ubuntu build
    failures

 -- Michael Tautschnig <mt at debian.org>  Sun, 10 Jul 2011 17:22:04 +0200

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

iEYEARECAAYFAk4a5ykACgkQfy5+u/sHdfhyhgCdF/Y1IcM8A87d4rvntd4jcXQE
OrcAn1HbrrE27nQBwUL/m6f0SYkhwVDB
=3mV+
-----END PGP SIGNATURE-----

** Affects: cbmc (Ubuntu)
     Importance: Wishlist
         Status: New

-- 
Sync cbmc 4.0-3 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/808747
You received this bug notification because you are a member of Ubuntu Sponsors Team, which is subscribed to the bug report.