spass 3.7-4 source package in Ubuntu


spass (3.7-4) unstable; urgency=medium

  * Set maintainer to debian-science with me as uploader (closes: #812755)
  * Add Vcs-{Git,Browser} fields.
  * Short description: do not start with an article.
  * Add Homepage field, and drop reference to upstream homepage from the
    long description.
  * d/copyright: convert to machine-readable format 1.0
  * rewrite debian/rules:
    - use dh.
    - add debian/spass.links
    - add debian/
    - add debian/spass.example
    - add debian/spass.manpages
  * DH compatibility level 10
  * Standards-version 3.9.8 (no change)
  * Add dep-8 style test, using the example provided by upstream
  * docs:
    - install pdf documents into /usr/share/doc/spass
    - drop the html docs which are incomplete, and superseded by the man pages
 -- Ralf Treinen <email address hidden>  Sun, 23 Oct 2016 20:22:48 +0200

Upload details

Uploaded by:
Debian Science Team on 2016-10-24
Uploaded to:
Original maintainer:
Debian Science Team
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Disco release on 2018-10-30 universe science
Cosmic release on 2018-05-01 universe science
Bionic release on 2017-10-24 universe science
Artful release on 2017-04-20 universe science


File Size SHA-256 Checksum
spass_3.7-4.dsc 1.9 KiB 27479ddfa8b7f96486b91258821323a30612fece6e5992aba581d3714b0fa1a8
spass_3.7.orig.tar.gz 1.3 MiB 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc
spass_3.7-4.debian.tar.xz 3.4 KiB 71e7f22d12bd48f89fde36d8df1f0f0618251ebd3d94fe04840f2578e6156ec0

Available diffs

No changes file available.

Binary packages built by this source

spass: automated theorem prover for first-order logic with equality

 SPASS is a saturation-based automated theorem prover for first-order logic with
 equality. It is unique due to the combination of the superposition calculus
 with specific inference/reduction rules for sorts (types) and a splitting rule
 for case analysis motivated by the beta-rule of analytic tableaux and the case
 analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a
 sophisticated clause normal form translation.
 This package consists of the SPASS/FLOTTER binary, documentation, and a small
 example collection. The tools collections contain the proof checker pcs, the
 syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer