binary_package_name: null
trusted_certs: null
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
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| relates-to | Package upload | spass_3.9-1.1 |
|