Format: 1.8
Date: Wed, 29 Apr 2020 11:04:25 +0200
Source: spass
Binary: spass
Architecture: arm64
Version: 3.9-1
Distribution: groovy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-060.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 spass      - automated theorem prover for first-order logic with equality
Closes: 887646
Changes:
 spass (3.9-1) unstable; urgency=medium
 .
   * New upstream version. This version fixes an FTBFS with glibc 2.26
     (closes: #887646).
   * Switch build-dependency debhelper to debhelper-compat, drop debian/compat
   * Debhelper compatibility level 12 (no change)
   * Add build-dependency on bison, flex
   * Do not attempt to install upstream documentation, it is gone from
     version 3.9:
     - drop debian/spass.docs
     - drop override of dh_auto_install which is no longer needed
     - drop debian/spass.examples as upstream's examples are gone
     - drop debian/spass.manpages as upstreams's manpages are gone
     - drop linking of FLOTTER.1
     - put upstream's example problem54.dfg into debian/tests
     - drop dependency on install-info
   * Create debian/spass.install as upstream's makefile doesn't do install
   * Update Vcs-{Browser,Git} to salsa
   * Standards-version 4.5.0:
     - debian/copyright: use https in format header
Checksums-Sha1:
 fb74925f6588473d47de6f77f4d9bd332a2cca8f 33608 spass-dbgsym_3.9-1_arm64.ddeb
 f98896b266ab58342c0a0b1cba219f1b3338653b 5102 spass_3.9-1_arm64.buildinfo
 6a7615d1c73b457404a8a7785d516c81a6914b27 247480 spass_3.9-1_arm64.deb
Checksums-Sha256:
 ef233193af2e555b4e2be9a1acf1e474fcaf39de8920f3c468b7c9de0e6f2012 33608 spass-dbgsym_3.9-1_arm64.ddeb
 539a19f702d339503a54540e4bc2e92d7a97e473cb04ab066529e02e597f9566 5102 spass_3.9-1_arm64.buildinfo
 8160e0c20bd9e0ae7ba8d8bbdc45e649590bf96570f811d86fe74317231dbe37 247480 spass_3.9-1_arm64.deb
Files:
 2aa3f9db91f1ca72b5f5d5aa02b8a291 33608 debug optional spass-dbgsym_3.9-1_arm64.ddeb
 a74f5d974ef8d1e9ca1ade1e4141e02c 5102 science optional spass_3.9-1_arm64.buildinfo
 3b39b03d9129bd3d14207c5fad8942bc 247480 science optional spass_3.9-1_arm64.deb