[ubuntu/bionic-proposed] picosat 960-1build1 (Accepted)

[Balint Reczey]

picosat (960-1build1) bionic; urgency=high

  * No change rebuild to pick up -fPIE compiler default

Date: Tue, 03 Apr 2018 12:39:17 +0000
Changed-By: Balint Reczey <rbalint at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/picosat/960-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Apr 2018 12:39:17 +0000
Source: picosat
Binary: picosat
Architecture: source
Version: 960-1build1
Distribution: bionic
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Balint Reczey <rbalint at ubuntu.com>
Description:
 picosat    - SAT solver with proof and core support
Changes:
 picosat (960-1build1) bionic; urgency=high
 .
   * No change rebuild to pick up -fPIE compiler default
Checksums-Sha1:
 84614a74ac75300767583c81a07cba5d6e00b160 1811 picosat_960-1build1.dsc
 9f9005ca85b80a1daef30e0761e351e5ed7cc3d3 6260 picosat_960-1build1.debian.tar.xz
Checksums-Sha256:
 849ab25071c6823cae923bfeb8dbb0e42c809be3a7f75d43e36bdc025bee054e 1811 picosat_960-1build1.dsc
 14fba2d845ad2d63f7608a1e806287adf5e22489930cb6bee5e4dd928a6dd434 6260 picosat_960-1build1.debian.tar.xz
Files:
 6f96f768dc7a63a72b19d7428a513ec6 1811 science extra picosat_960-1build1.dsc
 0aeca124a794e38f8e3b7a3397c15eea 6260 science extra picosat_960-1build1.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt at debian.org>