spass source package in Precise

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

Versions published


The package versions that were published when the distribution release was made.

spass information

Current version:
Low Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

Is one of these projects the upstream for this source package?

Releases in Ubuntu

Binary packages

Download files from current release (3.7-3)

File Size SHA-256 Checksum
spass_3.7.orig.tar.gz 1.3 MiB 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc
spass_3.7-3.debian.tar.gz 3.4 KiB 7bb0c01fe7efd388acea33f33c142f41a444407fc621cdfed5d7ecdadfe86573
spass_3.7-3.dsc 932 bytes 406b4ac5dd9bba99d50295abe627f2694f61cff569114a35d708a012e9a965f6

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies