Format: 1.8
Date: Thu, 21 Jan 2021 17:21:50 +0200
Source: spass
Binary: spass
Architecture: arm64
Version: 3.9-1.1
Distribution: hirsute-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-041.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:
 a4d570e530ca97cd4a0c271874d9bfb673a46a7f 33684 spass-dbgsym_3.9-1.1_arm64.ddeb
 685228a5a156bd310d2b02fa7711e7c25427835a 5589 spass_3.9-1.1_arm64.buildinfo
 6bfdf0370164e4cab5892a8d22eff62d16865ccc 254496 spass_3.9-1.1_arm64.deb
Checksums-Sha256:
 1ae3bb7408a1fddadeead8438b7cae24d3870eb6fd96c6ea84d0bcf57a3afc56 33684 spass-dbgsym_3.9-1.1_arm64.ddeb
 a4858b8834728566171b47dbb5eb07481906d2cfc46f72cc30340eab594ca728 5589 spass_3.9-1.1_arm64.buildinfo
 277b408edec083334454ac41a10105366bfad7f81438a38f751bfdd3e917a6a5 254496 spass_3.9-1.1_arm64.deb
Files:
 14fb4da79e2ccaa2112a2ddb59d85eeb 33684 debug optional spass-dbgsym_3.9-1.1_arm64.ddeb
 ea814da45a2730e117c6ad7d9973b31c 5589 science optional spass_3.9-1.1_arm64.buildinfo
 33676d840ffa5524a3f33a2188694015 254496 science optional spass_3.9-1.1_arm64.deb