Publishing details

• Published on 2010-12-10

Changelog

darwin (1.4.5-1ubuntu4) lucid; urgency=low

  * added dependency eprover
  * changed standards version to 3.9.1
 -- Corneliu-Claudiu Prodescu <email address hidden>   Fri, 10 Dec 2010 15:24:50 +0100

Builds

• amd64
• i386

Built packages

• darwin Basic Debian package for Theorem Prover Darwin 1.4.5

Package files

• darwin_1.4.5-1ubuntu4.diff.gz (1.7 KiB)
• darwin_1.4.5-1ubuntu4.dsc (1.3 KiB)
• darwin_1.4.5-1ubuntu4_amd64.deb (480.4 KiB)
• darwin_1.4.5-1ubuntu4_i386.deb (378.7 KiB)
• darwin_1.4.5.orig.tar.gz (574.4 KiB)