Format: 1.8
Date: Thu, 21 Jan 2021 17:21:50 +0200
Source: spass
Binary: spass
Architecture: ppc64el
Version: 3.9-1.1
Distribution: hirsute-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-026.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:
 aba1e04f3e1c399f50e4f4b395bd59d5913ee891 34444 spass-dbgsym_3.9-1.1_ppc64el.ddeb
 98f23771f180d836d4c2ce9acd5178d44383e947 5649 spass_3.9-1.1_ppc64el.buildinfo
 2bb6eeeea97fbfcaa78b1980ca9af25e3f810c45 304396 spass_3.9-1.1_ppc64el.deb
Checksums-Sha256:
 4638099834762e6f1b888e5e9011dbd2a9a42ca906580f3ccdd61c64afb475df 34444 spass-dbgsym_3.9-1.1_ppc64el.ddeb
 a9aeef4ccd13a9c847a84876b5dfba8df94919b56c823a1c14f1b96bbb1f318c 5649 spass_3.9-1.1_ppc64el.buildinfo
 140063458367263bbc507121bd293a343c84d49f8b5d3c77fbbea49794901977 304396 spass_3.9-1.1_ppc64el.deb
Files:
 ba92c49686ca34d453d5ad40f6804d58 34444 debug optional spass-dbgsym_3.9-1.1_ppc64el.ddeb
 5187771f474823e8191a976d7cf82bea 5649 science optional spass_3.9-1.1_ppc64el.buildinfo
 e5b78ce031197fb075b6320c18f0b83c 304396 science optional spass_3.9-1.1_ppc64el.deb