Publishing details

• Published on 2020-10-29

Changelog

satallax-src (2.7-2.18.4) bionic; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Thu, 29 Oct 2020 13:13:19 +0100

Builds

• amd64

Built packages

• satallax Theorem Prover Satallax.

Package files

• satallax-src_2.7-2.18.4.debian.tar.xz (7.8 KiB)
• satallax-src_2.7-2.18.4.dsc (1.5 KiB)
• satallax-src_2.7.orig.tar.gz (278.4 KiB)
• satallax_2.7-2.18.4_amd64.deb (819.3 KiB)