Publishing details

• Published on 2014-05-27

Changelog

ekrhyper (1.4.21022014-0ubuntu1) trusty; urgency=low

	  * New version 1.4
 -- Christian Maeder <email address hidden>   Tue, 27 May 2014 13:05:46 +0200

Builds

• amd64
• i386

Built packages

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

Package files

• ekrhyper_1.4.21022014-0ubuntu1.diff.gz (1.5 KiB)
• ekrhyper_1.4.21022014-0ubuntu1.dsc (1.4 KiB)
• ekrhyper_1.4.21022014-0ubuntu1_amd64.deb (545.9 KiB)
• ekrhyper_1.4.21022014-0ubuntu1_i386.deb (492.2 KiB)
• ekrhyper_1.4.21022014.orig.tar.gz (4.2 MiB)