changes_fields:
Architecture: all
Binary: prover9-doc
Changed-By: Holger Levsen <holger@debian.org>
Changes: |2-
prover9-manual (0.0.200902a-2.1) unstable; urgency=medium
.
* Non maintainer upload by the Reproducible Builds team.
* No source change upload to rebuild on buildd with .buildinfo files.
Checksums-Sha1:
- name: prover9-doc_0.0.200902a-2.1_all.deb
sha1: 102a39dd341d230dcb09084bb7a5f8b203030d37
size: '859560'
- name: prover9-manual_0.0.200902a-2.1_arm64.buildinfo
sha1: 2e4199c9d9f093ed5fa5dc7a7373beb2f83ba1a8
size: '5945'
Checksums-Sha256:
- name: prover9-doc_0.0.200902a-2.1_all.deb
sha256: 07463ba2938f13af09296226e6accc92f14a43c8b53a4d020d23e19ce2c94c17
size: '859560'
- name: prover9-manual_0.0.200902a-2.1_arm64.buildinfo
sha256: 73eab270d46b5c212ea9955197fc62869c80da3e0a64b77eb2dbc4bd76e2b864
size: '5945'
Date: Tue, 05 Jan 2021 23:21:05 +0100
Description: |2-
prover9-doc - documentation for Prover9 and associated programs
Distribution: sid
Files:
- md5sum: 823f079c3193899e40c17119358d81be
name: prover9-doc_0.0.200902a-2.1_all.deb
priority: optional
section: doc
size: '859560'
- md5sum: 6f46154889f9be509225c64924766372
name: prover9-manual_0.0.200902a-2.1_arm64.buildinfo
priority: optional
section: doc
size: '5945'
Format: '1.8'
Maintainer: Debian QA Group <packages@qa.debian.org>
Source: prover9-manual
Urgency: medium
Version: 0.0.200902a-2.1
type: dpkg