Publishing details

• Published on 2016-01-06

Changelog

eprover (1.9-0ubuntu1) wily; urgency=low

  * latest version Sourenee

 -- Christian Maeder <email address hidden>  Wed, 06 Jan 2016 12:22:48 +0100

Builds

• amd64
• i386

Built packages

• eprover Theorem prover for first-order logic with equality

Package files

• eprover_1.9-0ubuntu1.diff.gz (5.4 KiB)
• eprover_1.9-0ubuntu1.dsc (1.4 KiB)
• eprover_1.9-0ubuntu1_amd64.deb (1.3 MiB)
• eprover_1.9-0ubuntu1_i386.deb (1.3 MiB)
• eprover_1.9.orig.tar.gz (2.2 MiB)