spass source package in Bionic

spass: 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:
Medium 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-4)

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

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies