dsc_fields:
Architecture: all
Binary: prover9-doc
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: htmldoc
Checksums-Sha1:
- name: prover9-manual_0.0.200902a.orig.tar.gz
sha1: de9bd94d3f631ad7781640ac17886082eb22af93
size: '1034444'
- name: prover9-manual_0.0.200902a-2.1.debian.tar.xz
sha1: 220ec83b9ee2b25bd9d3740d5447df804d8207c3
size: '4668'
Checksums-Sha256:
- name: prover9-manual_0.0.200902a.orig.tar.gz
sha256: 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5
size: '1034444'
- name: prover9-manual_0.0.200902a-2.1.debian.tar.xz
sha256: f691a8754fe1e6262ab8287df0ec404f9da30a6967019720c9a7b04cf883c4b9
size: '4668'
Files:
- md5sum: 00b6779d2d3edbd4434a24eebb79b2a8
name: prover9-manual_0.0.200902a.orig.tar.gz
size: '1034444'
- md5sum: faa418af02d2b8cb993803c012136e7a
name: prover9-manual_0.0.200902a-2.1.debian.tar.xz
size: '4668'
Format: 3.0 (quilt)
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Maintainer: Debian QA Group <packages@qa.debian.org>
Package-List: |2-
prover9-doc deb doc optional arch=all
Source: prover9-manual
Standards-Version: 3.9.4
Vcs-Browser: http://git.debian.org/?p=collab-maint/prover9-manual.git
Vcs-Git: git://git.debian.org/git/collab-maint/prover9-manual.git
Version: 0.0.200902a-2.1
name: prover9-manual
type: dpkg
version: 0.0.200902a-2.1