Publishing details

• Published on 2014-04-11

Changelog

darwin (1.4.5-1ubuntu12) trusty; urgency=low

  * Changed distro to "trusty"
 -- 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-1ubuntu12.diff.gz (2.0 KiB)
• darwin_1.4.5-1ubuntu12.dsc (1.4 KiB)
• darwin_1.4.5-1ubuntu12_amd64.deb (388.3 KiB)
• darwin_1.4.5-1ubuntu12_i386.deb (352.7 KiB)
• darwin_1.4.5.orig.tar.gz (574.4 KiB)