File: control

package info (click to toggle)
prover9-manual 0.0.200902a-2
  • links: PTS, VCS
  • area: main
  • in suites: buster, jessie, jessie-kfreebsd, stretch
  • size: 4,272 kB
  • ctags: 548
  • sloc: xml: 212; csh: 144; python: 73; makefile: 42; perl: 10; sh: 1
file content (23 lines) | stat: -rw-r--r-- 858 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Source: prover9-manual
Section: doc
Priority: optional
Maintainer: Debian QA Group <packages@qa.debian.org>
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: htmldoc
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
Homepage: http://www.cs.unm.edu/~mccune/mace4/

Package: prover9-doc
Architecture: all
Depends: ${misc:Depends}
Suggests: prover9, ladr4-apps, python
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.