Publishing details

• Published on 2012-04-20

Changelog

edarwin (1.4.26092011-0ubuntu3) precise; urgency=low

  * Initial release.
 -- Christian Maeder <email address hidden>   Fri, 20 Apr 2012 14:24:59 +0200

Builds

• amd64
• i386

Built packages

• edarwin Automated theorem prover for first-order clausal logic with equality

Package files

• edarwin_1.4.26092011-0ubuntu3.diff.gz (912 bytes)
• edarwin_1.4.26092011-0ubuntu3.dsc (1.4 KiB)
• edarwin_1.4.26092011-0ubuntu3_amd64.deb (605.7 KiB)
• edarwin_1.4.26092011-0ubuntu3_i386.deb (488.9 KiB)
• edarwin_1.4.26092011.orig.tar.gz (605.7 KiB)