Publishing details

• Published on 2014-04-11

Changelog

eprover (1.8-0ubuntu2) trusty; urgency=low

  * latest version Gopaldhara
 -- Christian Maeder <email address hidden>   Mon, 28 Oct 2013 14:07:16 +0100

Builds

• amd64
• i386

Built packages

• eprover Theorem prover for first-order logic with equality

Package files

• eprover_1.8-0ubuntu2.diff.gz (5.7 KiB)
• eprover_1.8-0ubuntu2.dsc (1.4 KiB)
• eprover_1.8-0ubuntu2_amd64.deb (1.3 MiB)
• eprover_1.8-0ubuntu2_i386.deb (1.2 MiB)
• eprover_1.8.orig.tar.gz (1.9 MiB)