Publishing details

• Published on 2010-07-28

Changelog

ekrhyper (1.1.4.29062010-1) lucid; urgency=low

  * Initial release.
 -- Corneliu-Claudiu Prodescu <email address hidden>   Wed, 28 Jul 2010 22:30:09 +0000

Builds

• amd64
• i386

Built packages

• ekrhyper Basic Debian package containing E-KRHyper reasoner and prover.

Package files

• ekrhyper_1.1.4.29062010-1.diff.gz (1.4 KiB)
• ekrhyper_1.1.4.29062010-1.dsc (1.4 KiB)
• ekrhyper_1.1.4.29062010-1_amd64.deb (541.5 KiB)
• ekrhyper_1.1.4.29062010-1_i386.deb (434.5 KiB)
• ekrhyper_1.1.4.29062010.orig.tar.gz (314.4 KiB)