[ubuntu/bionic-proposed] minisat2 1:2.2.1-5build1 (Accepted)

[Balint Reczey]

minisat2 (1:2.2.1-5build1) bionic; urgency=high

  * No change rebuild to pick up -fPIE compiler default

Date: Tue, 03 Apr 2018 12:34:58 +0000
Changed-By: Balint Reczey <rbalint at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/minisat2/1:2.2.1-5build1
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Apr 2018 12:34:58 +0000
Source: minisat2
Binary: minisat minisat2
Architecture: source
Version: 1:2.2.1-5build1
Distribution: bionic
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Balint Reczey <rbalint at ubuntu.com>
Description:
 minisat    - Fast and lightweight SAT solver
 minisat2   - Transitional package for minisat
Changes:
 minisat2 (1:2.2.1-5build1) bionic; urgency=high
 .
   * No change rebuild to pick up -fPIE compiler default
Checksums-Sha1:
 32b0431811c9c9b7c129cc6c89da50891fd1e7d9 1982 minisat2_2.2.1-5build1.dsc
 aa4bc2ff0aff1606e427482e664a78f2e27cda92 9480 minisat2_2.2.1-5build1.debian.tar.xz
Checksums-Sha256:
 c00ab003ebbbd414ab68b8ed533ce508b4c8d939fd78f85db85220e9445bc3c4 1982 minisat2_2.2.1-5build1.dsc
 cb08c870f6b72f6f541bc069132182317312785295a74c8b55c13827a4b9ed8a 9480 minisat2_2.2.1-5build1.debian.tar.xz
Files:
 061cf7618c2648f104b9e2134d62d169 1982 science extra minisat2_2.2.1-5build1.dsc
 4a4d8b0bdb0bbb5c2719022ebc5ace3e 9480 science extra minisat2_2.2.1-5build1.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt at debian.org>