[ubuntu/focal-proposed] cbmc 5.10-5ubuntu1 (Accepted)

[Graham Inggs]

cbmc (5.10-5ubuntu1) focal; urgency=medium

  [ Adrian Bunk ]
  * Build fixes:
    - Fix the build with libmaven-compiler-plugin-java 3.8.1.
    - Backport upstream fix for building with new bison.
    (Closes: #952256)

Date: Tue, 14 Apr 2020 07:35:50 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/cbmc/5.10-5ubuntu1
-------------- next part --------------
Format: 1.8
Date: Tue, 14 Apr 2020 07:35:50 +0000
Source: cbmc
Architecture: source
Version: 5.10-5ubuntu1
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Closes: 952256
Changes:
 cbmc (5.10-5ubuntu1) focal; urgency=medium
 .
   [ Adrian Bunk ]
   * Build fixes:
     - Fix the build with libmaven-compiler-plugin-java 3.8.1.
     - Backport upstream fix for building with new bison.
     (Closes: #952256)
Checksums-Sha1:
 701e43f9c1f90a6c3536673c427c27bb4a9cece7 2267 cbmc_5.10-5ubuntu1.dsc
 1a365fcc8d7f917ab5af5c392124cd5fad30af88 13412 cbmc_5.10-5ubuntu1.debian.tar.xz
 a3568352679f71f4c57f7901304c616d57801210 14446 cbmc_5.10-5ubuntu1_source.buildinfo
Checksums-Sha256:
 65d5a4212a3e5b2274d195517469884e7b62a36fa7f0305bde1c45cafd72aa4e 2267 cbmc_5.10-5ubuntu1.dsc
 dd6414fee735fe5975f34755bdd4fd4f807a41b03553858edce8990d1488181e 13412 cbmc_5.10-5ubuntu1.debian.tar.xz
 201134d0aec9ccd2d21de7adf96519eabac9d9e5f8dadb5ea2ca78341988f92f 14446 cbmc_5.10-5ubuntu1_source.buildinfo
Files:
 3d4a0d40f41eb36ead5c3288003dbde7 2267 science optional cbmc_5.10-5ubuntu1.dsc
 1f85c08fef8472d10ca7fcdd6ec9877e 13412 science optional cbmc_5.10-5ubuntu1.debian.tar.xz
 1f06a3d0caf97468a5d7f644eba83144 14446 science optional cbmc_5.10-5ubuntu1_source.buildinfo
Original-Maintainer: Michael Tautschnig <mt at debian.org>