Format: 1.8
Date: Tue, 05 Jan 2021 23:21:05 +0100
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-2.1
Distribution: sid
Urgency: medium
Maintainer: Debian QA Group <packages@qa.debian.org>
Changed-By: Holger Levsen <holger@debian.org>
Description:
 prover9-doc - documentation for Prover9 and associated programs
Changes:
 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:
 102a39dd341d230dcb09084bb7a5f8b203030d37 859560 prover9-doc_0.0.200902a-2.1_all.deb
 2e4199c9d9f093ed5fa5dc7a7373beb2f83ba1a8 5945 prover9-manual_0.0.200902a-2.1_arm64.buildinfo
Checksums-Sha256:
 07463ba2938f13af09296226e6accc92f14a43c8b53a4d020d23e19ce2c94c17 859560 prover9-doc_0.0.200902a-2.1_all.deb
 73eab270d46b5c212ea9955197fc62869c80da3e0a64b77eb2dbc4bd76e2b864 5945 prover9-manual_0.0.200902a-2.1_arm64.buildinfo
Files:
 823f079c3193899e40c17119358d81be 859560 doc optional prover9-doc_0.0.200902a-2.1_all.deb
 6f46154889f9be509225c64924766372 5945 doc optional prover9-manual_0.0.200902a-2.1_arm64.buildinfo