» Ubuntu » Packages » lucid (10.04LTS) » Source » science » spass
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]

Source Package: spass (2.1-4) [universe]

Links for spass

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Roland Stigge

It should generally not be necessary for users to contact the original maintainer.

The following binary packages are built from this source package:
An automated theorem prover for first-order logic with equality

Other Packages Related to spass

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 4.0.0)
    helper programs for debian/rules

Download spass

FileSize (in kB)MD5 checksum
spass_2.1-4.dsc 0.9 kB e37190accc23ab998fc1f0e663eb6c09
spass_2.1.orig.tar.gz 872.8 kB 45db334be79e0bcde04c1fa0cac55b85
spass_2.1-4.diff.gz 13.9 kB 2d269ea1020b1fc9fd8b41f26f7fbca2