[ubuntu/bionic-proposed] ladr 0.0.200911a-2.1build1 (Accepted)

[Balint Reczey]

ladr (0.0.200911a-2.1build1) bionic; urgency=high

  * No change rebuild to pick up -fPIE compiler default

Date: Tue, 03 Apr 2018 12:31:30 +0000
Changed-By: Balint Reczey <rbalint at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/ladr/0.0.200911a-2.1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Apr 2018 12:31:30 +0000
Source: ladr
Binary: libladr-dev libladr4 prover9 ladr4-apps
Architecture: source
Version: 0.0.200911a-2.1build1
Distribution: bionic
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Balint Reczey <rbalint at ubuntu.com>
Description:
 ladr4-apps - the LADR deduction library, miscellaneous applications
 libladr-dev - the LADR deduction library, development files
 libladr4   - the LADR deduction library
 prover9    - theorem prover and countermodel generator
Changes:
 ladr (0.0.200911a-2.1build1) bionic; urgency=high
 .
   * No change rebuild to pick up -fPIE compiler default
Checksums-Sha1:
 4ce8b2d35bfed3ac71714644940fad8547c8f3d6 2123 ladr_0.0.200911a-2.1build1.dsc
 32d90038ee7fcd8d70265110b484315bd80ec3c8 19468 ladr_0.0.200911a-2.1build1.debian.tar.xz
Checksums-Sha256:
 613c95ab62767e30b7490b4f1403e5660469454910cdf933c586a1a215b0936c 2123 ladr_0.0.200911a-2.1build1.dsc
 d17e32f17c3eba2e4c0cbc9e3cd38ac20f92353a5648a1795c82bd926bad9fa4 19468 ladr_0.0.200911a-2.1build1.debian.tar.xz
Files:
 3122227eb1d7fbd0d221bbec69f1b4fa 2123 math optional ladr_0.0.200911a-2.1build1.dsc
 d1dda0ac4c4ee45e816895c3b1e3f04e 19468 math optional ladr_0.0.200911a-2.1build1.debian.tar.xz
Original-Maintainer: Debian QA Group <packages at qa.debian.org>