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

[Jean-Louis Dupond]

Public bug reported:

-----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

-- 
You received this bug notification because you are a member of Ubuntu
Sponsors Team, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/808747

Title:
  Sync cbmc 4.0-3 (universe) from Debian unstable (main)

Status in “cbmc” package in Ubuntu:
  New

Bug description:
  -----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-----

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cbmc/+bug/808747/+subscriptions