deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Description: |-
documentation for Prover9 and associated programs
Prover9 is an automated theorem prover for first-order and equational
logic. It is a successor of the Otter prover. Prover9 uses the
inference techniques of ordered resolution and paramodulation with
literal selection.
.
This package provides documentation for Prover9, Mace4 and other
associated programs.
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Installed-Size: '3184'
Maintainer: Debian QA Group <packages@qa.debian.org>
Package: prover9-doc
Priority: optional
Section: doc
Source: prover9-manual
Suggests: prover9, ladr4-apps, python
Version: 0.0.200902a-2.1
srcpkg_name: prover9-manual
srcpkg_version: 0.0.200902a-2.1
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| built-using | Source package | prover9-manual_0.0.200902a-2.1 |
|
|
| built-using | Binary package | dpkg-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dpkg_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dselect-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dselect_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | libdpkg-dev_1.22.12~1.gbp82cafd_arm64 |
|
|
| built-using | Binary package | dpkg-dev_1.22.12~1.gbp82cafd_all |
|
|
| built-using | Binary package | libdpkg-perl_1.22.12~1.gbp82cafd_all |
|
|
| extends | Package upload | prover9-manual_0.0.200902a-2.1 |
|