Publishing details

• Published on 2016-07-11

Changelog

darwin (1.4.5-1ubuntu20) vivid; urgency=low

  * Changed distro

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

Builds

• amd64
• i386

Built packages

• darwin Basic Debian package for Theorem Prover Darwin 1.4.5

Package files

• darwin_1.4.5-1ubuntu20.diff.gz (1.7 KiB)
• darwin_1.4.5-1ubuntu20.dsc (1.4 KiB)
• darwin_1.4.5-1ubuntu20_amd64.deb (389.3 KiB)
• darwin_1.4.5-1ubuntu20_i386.deb (359.5 KiB)
• darwin_1.4.5.orig.tar.gz (574.4 KiB)