Publishing details

• Published on 2012-04-20

Changelog

ekrhyper (1.2.05042012-0ubuntu1) precise; urgency=low

  * New version 1.2
 -- Christian Maeder <email address hidden>   Fri, 20 Apr 2012 12:35:23 +0200

Builds

• amd64
• i386

Built packages

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

Package files

• ekrhyper_1.2.05042012-0ubuntu1.diff.gz (1.4 KiB)
• ekrhyper_1.2.05042012-0ubuntu1.dsc (1.4 KiB)
• ekrhyper_1.2.05042012-0ubuntu1_amd64.deb (650.1 KiB)
• ekrhyper_1.2.05042012-0ubuntu1_i386.deb (541.0 KiB)
• ekrhyper_1.2.05042012.orig.tar.gz (379.8 KiB)