Publishing details

• Published on 2012-04-20

Changelog

eprover (1.4-0ubuntu2) lucid; urgency=low

  * Changed to distro "lucid"
 -- Christian Maeder <email address hidden>   Fri, 20 Apr 2012 12:07:21 +0200

Builds

• amd64
• i386

Built packages

• eprover Theorem prover for first-order logic with equality

Package files

• eprover_1.4-0ubuntu2.diff.gz (5.4 KiB)
• eprover_1.4-0ubuntu2.dsc (1.4 KiB)
• eprover_1.4-0ubuntu2_amd64.deb (1.6 MiB)
• eprover_1.4-0ubuntu2_i386.deb (1.5 MiB)
• eprover_1.4.orig.tar.gz (1.6 MiB)