Format: 1.8
Date: Thu, 21 Jan 2021 17:21:50 +0200
Source: spass
Binary: spass spass-dbgsym
Architecture: arm64
Version: 3.9-1.1
Distribution: sid
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
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:
 818ae7d4ae2d253417a1ac353f947d4d49a29ecd 33468 spass-dbgsym_3.9-1.1_arm64.deb
 febe191ed96b64c38483e706efc23ca208942c4f 4872 spass_3.9-1.1_arm64.buildinfo
 5dd961cfdd1b76560bf146430d5b4a04a667b7ad 249076 spass_3.9-1.1_arm64.deb
Checksums-Sha256:
 7f59f969d0b769da7e3682e2e188c26581f7fcb042e3fc803560b62e3f7e7043 33468 spass-dbgsym_3.9-1.1_arm64.deb
 30e4765d7d1d156c4216472cd4ac1b814a7160f6e3130ad712b01fa5de9d6f5a 4872 spass_3.9-1.1_arm64.buildinfo
 0616d1a671b4934f7b3f93910669674ca110231df2c43890da6540248cb31952 249076 spass_3.9-1.1_arm64.deb
Files:
 82223a134a99b9e16ad7b93051a690ba 33468 debug optional spass-dbgsym_3.9-1.1_arm64.deb
 31e44947c2c34956e91487fef64d138d 4872 science optional spass_3.9-1.1_arm64.buildinfo
 8c8cfd8f25a31d8e72ce053efd388ec0 249076 science optional spass_3.9-1.1_arm64.deb