changes_fields:
Architecture: arm64
Binary: spass spass-dbgsym
Changed-By: Adrian Bunk <bunk@debian.org>
Changes: |2-
spass (3.9-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Workaround parallel FTBFS by disabling parallel building.
(Closes: #976928)
Checksums-Sha1:
- name: spass-dbgsym_3.9-1.1_arm64.deb
sha1: 818ae7d4ae2d253417a1ac353f947d4d49a29ecd
size: '33468'
- name: spass_3.9-1.1_arm64.buildinfo
sha1: febe191ed96b64c38483e706efc23ca208942c4f
size: '4872'
- name: spass_3.9-1.1_arm64.deb
sha1: 5dd961cfdd1b76560bf146430d5b4a04a667b7ad
size: '249076'
Checksums-Sha256:
- name: spass-dbgsym_3.9-1.1_arm64.deb
sha256: 7f59f969d0b769da7e3682e2e188c26581f7fcb042e3fc803560b62e3f7e7043
size: '33468'
- name: spass_3.9-1.1_arm64.buildinfo
sha256: 30e4765d7d1d156c4216472cd4ac1b814a7160f6e3130ad712b01fa5de9d6f5a
size: '4872'
- name: spass_3.9-1.1_arm64.deb
sha256: 0616d1a671b4934f7b3f93910669674ca110231df2c43890da6540248cb31952
size: '249076'
Closes: '976928'
Date: Thu, 21 Jan 2021 17:21:50 +0200
Description: |2-
spass - automated theorem prover for first-order logic with equality
Distribution: sid
Files:
- md5sum: 82223a134a99b9e16ad7b93051a690ba
name: spass-dbgsym_3.9-1.1_arm64.deb
priority: optional
section: debug
size: '33468'
- md5sum: 31e44947c2c34956e91487fef64d138d
name: spass_3.9-1.1_arm64.buildinfo
priority: optional
section: science
size: '4872'
- md5sum: 8c8cfd8f25a31d8e72ce053efd388ec0
name: spass_3.9-1.1_arm64.deb
priority: optional
section: science
size: '249076'
Format: '1.8'
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Source: spass
Urgency: medium
Version: 3.9-1.1
type: dpkg