[ubuntu/bionic-proposed] boolector 1.5.118.6b56be4.121013-1build1 (Accepted)

[Balint Reczey]

boolector (1.5.118.6b56be4.121013-1build1) bionic; urgency=high

  * No change rebuild to pick up -fPIE compiler default

Date: Tue, 03 Apr 2018 12:15:32 +0000
Changed-By: Balint Reczey <rbalint at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/boolector/1.5.118.6b56be4.121013-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Apr 2018 12:15:32 +0000
Source: boolector
Binary: boolector
Architecture: source
Version: 1.5.118.6b56be4.121013-1build1
Distribution: bionic
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Balint Reczey <rbalint at ubuntu.com>
Description:
 boolector  - SMT solver for bit-vectors and arrays
Changes:
 boolector (1.5.118.6b56be4.121013-1build1) bionic; urgency=high
 .
   * No change rebuild to pick up -fPIE compiler default
Checksums-Sha1:
 4d553d1cd247afc595f978818db5c0c22e44c1c5 2289 boolector_1.5.118.6b56be4.121013-1build1.dsc
 53698331ce571d2e5353ada7d3c1ed9531712df8 4776 boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xz
Checksums-Sha256:
 1310f3483bf0491858f1b4196d773d21920200fe8a014ad90bf86f460b1cad57 2289 boolector_1.5.118.6b56be4.121013-1build1.dsc
 91650ed5e17b3becefe9d8013e848611216d764914edf4a29b4b4952d84b8d39 4776 boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xz
Files:
 67e20fa5b10e26387f0ecf0b53181c23 2289 science extra boolector_1.5.118.6b56be4.121013-1build1.dsc
 345906a1095f31be74c2926618af5bc3 4776 science extra boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt at debian.org>