[ubuntu/vivid-proposed] cbmc 4.9-5 (Accepted)

[Graham Inggs]

cbmc (4.9-5) unstable; urgency=low

  * Make assertion fail if chdir fails. Thanks Graham Inggs for the heads-up.
    (Closes: #773455)
  * Updated Standards version to 3.9.6 (no changes required)

Date: 2014-12-19 10:10:51.962041+00:00
Changed-By: Michael Tautschnig <mt at debian.org>
Signed-By: Graham Inggs <graham at nerve.org.za>
https://launchpad.net/ubuntu/+source/cbmc/4.9-5
-------------- next part --------------
Sorry, changesfile not available.