eprover_1.0.004-1_i386.changes is NEW

[Debian Installer]

(new) eprover-doc-html_1.0.004-1_all.deb extra science
Theorem prover for first-order logic with equality - HTML doc
 E is a fully automatic theorem prover for full first-order logic with
 equality. It accepts a mathematical specification and, optionally, a
 hypothesis, and tries to prove the hypothesis and/or find a
 saturation representing a (counter-)model for the specification.
 .
 E is based on a purely equational problem representation and
 implements a variant of the superposition calculus. Proof search can
 be guided with a multitude of options or a powerful automatic
 configuration mode. The system can process input in a number of
 different formats, including the standard TPTP-2 and TPTP-3
 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP
 format.
 .
 E is considered one of the most powerful and friendly automated
 theorem provers for first-order logic. It has consistently been among
 the top system in the major categories of the CASC system competition,
 and usually been the strongest free software system.
 .
 This package contains E's documentation in HTML format.
(new) eprover-examples_1.0.004-1_all.deb extra science
Theorem prover for first-order logic with equality - examples
 E is a fully automatic theorem prover for full first-order logic with
 equality. It accepts a mathematical specification and, optionally, a
 hypothesis, and tries to prove the hypothesis and/or find a
 saturation representing a (counter-)model for the specification.
 .
 E is based on a purely equational problem representation and
 implements a variant of the superposition calculus. Proof search can
 be guided with a multitude of options or a powerful automatic
 configuration mode. The system can process input in a number of
 different formats, including the standard TPTP-2 and TPTP-3
 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP
 format.
 .
 E is considered one of the most powerful and friendly automated
 theorem provers for first-order logic. It has consistently been among
 the top system in the major categories of the CASC system competition,
 and usually been the strongest free software system.
 .
 This package contains several sample inputs to try E on.
(new) eprover_1.0.004-1.diff.gz extra science
(new) eprover_1.0.004-1.dsc extra science
(new) eprover_1.0.004-1_i386.deb extra science
Theorem prover for first-order logic with equality
 E is a fully automatic theorem prover for full first-order logic with
 equality. It accepts a mathematical specification and, optionally, a
 hypothesis, and tries to prove the hypothesis and/or find a
 saturation representing a (counter-)model for the specification.
 .
 E is based on a purely equational problem representation and
 implements a variant of the superposition calculus. Proof search can
 be guided with a multitude of options or a powerful automatic
 configuration mode. The system can process input in a number of
 different formats, including the standard TPTP-2 and TPTP-3
 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP
 format.
 .
 E is considered one of the most powerful and friendly automated
 theorem provers for first-order logic. It has consistently been among
 the top system in the major categories of the CASC system competition,
 and usually been the strongest free software system.
(new) eprover_1.0.004.orig.tar.gz extra science
Changes: eprover (1.0.004-1) unstable; urgency=low
 .
  * Initial Debian release.
    Closes: #516545
  * Created man pages using help2man.
  * Adjusted the Makefiles to
    - install into $(DESTDIR) directory;
    - to handle dependencies between source files in a more transparent and
      efficient way - instead of generating Makefile.dependencies by the build
      scripts, let 'make' generate .d file for each .c file as needed;
    - not to modify source files in place - instead of modifying Makefile.vars,
      put configuration into a new file Makefile.cfg;
    - not to build development tools - the build scripts modify them in place
      and they are not needed anyway for the package.
  * Added 'test' target to Makefile to test that eprover binary was sucessfully
    compiled and works on a sample problem.
  * Added 'html' target to DOC/Makefile that builds HTML documentation using
    tex4ht.
  * Adjusted for the DebianScience GIT repository.
  * Refined dependencies in debian/control, checked with pbuilder.
  * Update 'clear' target in DOC/Makefile to clean some files left after
    tex4ht.


Override entries for your package:

Announcing to debian-devel-changes at lists.debian.org
Closing bugs: 516545 


Your package contains new components which requires manual editing of
the override file.  It is ok otherwise, so please be patient.  New
packages are usually added to the override file about once a week.

You may have gotten the distribution wrong.  You'll get warnings above
if files already exist in other distributions.