Publishing details

• Published on 2020-10-30

Changelog

e-krhyper-src (1.4.21022014-2.18.4) bionic; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Fri, 30 Oct 2020 07:16:20 +0100

Builds

• amd64

Built packages

• e-krhyper Theorem Prover and model generator E-KRHyper.

Package files

• e-krhyper-src_1.4.21022014-2.18.4.debian.tar.xz (654.1 KiB)
• e-krhyper-src_1.4.21022014-2.18.4.dsc (1.5 KiB)
• e-krhyper-src_1.4.21022014.orig.tar.gz (4.2 MiB)
• e-krhyper_1.4.21022014-2.18.4_amd64.deb (4.4 MiB)