Publishing details

• Published on 2016-07-11

Changelog

eprover (1.9-0ubuntu3) vivid; urgency=low

  * changed distro

 -- Christian Maeder <email address hidden>  Thu, 07 Jul 2016 10:26:01 +0200

Builds

• amd64
• i386

Built packages

• eprover Theorem prover for first-order logic with equality

Package files

• eprover_1.9-0ubuntu3.diff.gz (5.5 KiB)
• eprover_1.9-0ubuntu3.dsc (1.4 KiB)
• eprover_1.9-0ubuntu3_amd64.deb (1.3 MiB)
• eprover_1.9-0ubuntu3_i386.deb (1.3 MiB)
• eprover_1.9.orig.tar.gz (2.2 MiB)