Publishing details

• Published on 2015-10-22
• Copied from ubuntu precise in Primary Archive for Ubuntu

Changelog

spass (3.7-3) unstable; urgency=low

  * Added debian/watch
 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  17 Oct 2011 15:35:59 +0000

Builds

• s390x

Built packages

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

Package files

• spass_3.7-3.debian.tar.gz (3.4 KiB)
• spass_3.7-3.dsc (932 bytes)
• spass_3.7-3_amd64.deb (2.2 MiB)
• spass_3.7-3_arm64.deb (2.1 MiB)
• spass_3.7-3_armel.deb (1.9 MiB)
• spass_3.7-3_armhf.deb (1.9 MiB)
• spass_3.7-3_i386.deb (2.0 MiB)
• spass_3.7-3_powerpc.deb (2.0 MiB)
• spass_3.7-3_ppc64el.deb (1.2 MiB)
• spass_3.7-3_s390x.deb (1.3 MiB)
• spass_3.7.orig.tar.gz (1.3 MiB)