[ubuntu/groovy-proposed] cbmc 5.12-4 (Accepted)

[Graham Inggs]

cbmc (5.12-4) unstable; urgency=low

  * __float128 is not available on ppc64el (again)
  * Fix acceptable test input
  * Simplify big-endian byte updates

Date: 2020-05-01 22:28:03.468364+00:00
Changed-By: Michael Tautschnig <mt at debian.org>
Signed-By: Graham Inggs <graham.inggs+ubuntu at gmail.com>
https://launchpad.net/ubuntu/+source/cbmc/5.12-4
-------------- next part --------------
Sorry, changesfile not available.