Format: 1.8
Date: Sat, 05 May 2018 09:46:34 +0200
Source: depqbf
Binary: depqbf
Architecture: i386
Version: 5.01-2
Distribution: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-050.buildd>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
 depqbf     - solver for quantified boolean formulae
Changes:
 depqbf (5.01-2) unstable; urgency=medium
 .
   * debian/gbp.conf: pristine-tar is True
   * debian/control: cleanup for Standards-Version 4.1.4
     - set Priority optional
     - Build-Depends on debhelper (>= 11)
     - use secure Homepage https://lonsing.github.io/depqbf/
     - update Vcs-* for https://salsa.debian.org/science-team/depqbf
   * fix DEB_BUILD_MAINT_OPTIONS and install changelog
     - debian/rules: add DEB_BUILD_MAINT_OPTIONS = hardening=+all
     - install NEWS as upstream changelog
   * debian/copyright: fix Upstream-Contact, use secure Format and Source
   * debian/compat: set to 11
Checksums-Sha1:
 4e912eeb51d8ba9021a4c3425a240b0feb20a5dd 384088 depqbf-dbgsym_5.01-2_i386.ddeb
 8be8dca400762ff0f3dc6b53856d94c7f4e3efef 4958 depqbf_5.01-2_i386.buildinfo
 021168aeaeee3777062ac658f1101ef90c904fa8 132832 depqbf_5.01-2_i386.deb
Checksums-Sha256:
 52dd325da347df8af7224c5c8894d390d5f21e4c2191265e7991f2b9d4048448 384088 depqbf-dbgsym_5.01-2_i386.ddeb
 8672a1aa530eb53cda484326dc0c428228e97506903a3d68806d633f8d8db965 4958 depqbf_5.01-2_i386.buildinfo
 5c8740e23416f3460a85cb7558df1b4746bcd000e233c0f58b65b51448f37d6f 132832 depqbf_5.01-2_i386.deb
Files:
 648409f84d5d5f4cb403e3038242ea64 384088 debug optional depqbf-dbgsym_5.01-2_i386.ddeb
 075fc9c85500c7dce9375a93b3a4e5f4 4958 interpreters optional depqbf_5.01-2_i386.buildinfo
 11aea86022d2e55c25dd20c060215eb0 132832 interpreters optional depqbf_5.01-2_i386.deb