Publishing details

• Published on 2018-05-10

Changelog

spass-src (3.9.0-3.18.4.2) bionic; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Thu, 10 May 2018 09:03:41 +0200

Builds

• amd64

Built packages

• spass Theorem Prover SPASS.

Package files

• spass-src_3.9.0-3.18.4.2.debian.tar.xz (6.0 KiB)
• spass-src_3.9.0-3.18.4.2.dsc (1.5 KiB)
• spass-src_3.9.0.orig.tar.gz (1.2 MiB)
• spass_3.9.0-3.18.4.2_amd64.deb (1.4 MiB)