Publishing details

• Published on 2012-04-19

Changelog

darwin (1.4.5-1ubuntu8) precise; urgency=low

  * Changed distro to "precise"
 -- Christian Maeder <email address hidden>   Wed, 18 Apr 2012 17:37:02 +0200

Builds

• amd64
• i386

Built packages

• darwin Basic Debian package for Theorem Prover Darwin 1.4.5

Package files

• darwin_1.4.5-1ubuntu8.diff.gz (2.0 KiB)
• darwin_1.4.5-1ubuntu8.dsc (1.4 KiB)
• darwin_1.4.5-1ubuntu8_amd64.deb (473.4 KiB)
• darwin_1.4.5-1ubuntu8_i386.deb (386.6 KiB)
• darwin_1.4.5.orig.tar.gz (574.4 KiB)