Format: 1.8
Date: Thu, 21 Jan 2021 17:21:50 +0200
Source: spass
Binary: spass
Architecture: armhf
Version: 3.9-1.1
Distribution: hirsute-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-024.buildd>
Changed-By: Adrian Bunk <bunk@debian.org>
Description:
 spass      - automated theorem prover for first-order logic with equality
Closes: 976928
Changes:
 spass (3.9-1.1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Workaround parallel FTBFS by disabling parallel building.
     (Closes: #976928)
Checksums-Sha1:
 0121b7eff3eae9160fd1734c88a7f0acb3e3e2de 36996 spass-dbgsym_3.9-1.1_armhf.ddeb
 960f03f8d472979605326251843b0dcd79d00113 5492 spass_3.9-1.1_armhf.buildinfo
 478017b34ffc003e251055531b9510787df8cdc2 227664 spass_3.9-1.1_armhf.deb
Checksums-Sha256:
 2bd5ef314c2d82e5279c8aee73d97690b928e123fe03959a50df3b42dd0fccaa 36996 spass-dbgsym_3.9-1.1_armhf.ddeb
 1ea561c3b15aeed3b47d0b547a9e3550312db724810db1d711d56b790bce9078 5492 spass_3.9-1.1_armhf.buildinfo
 33613afead810eee9e7a129a27fed1f61308a6f266d0df0d05f4e557e6505d8a 227664 spass_3.9-1.1_armhf.deb
Files:
 50a2dc6296d860c5768da8f76461eeb1 36996 debug optional spass-dbgsym_3.9-1.1_armhf.ddeb
 b550a56976657162903757dd5cf14ed8 5492 science optional spass_3.9-1.1_armhf.buildinfo
 dd19e7a4139627f375aae4a08ed80ac5 227664 science optional spass_3.9-1.1_armhf.deb