Publishing details

• Published on 2016-01-06

Changelog

darwin (1.4.5-1ubuntu18) wily; urgency=low

  * Changed distro

 -- Christian Maeder <email address hidden>  Mon, 08 Jun 2015 10:26:31 +0200

Builds

• amd64
• i386

Built packages

• darwin Basic Debian package for Theorem Prover Darwin 1.4.5

Package files

• darwin_1.4.5-1ubuntu18.diff.gz (1.7 KiB)
• darwin_1.4.5-1ubuntu18.dsc (1.4 KiB)
• darwin_1.4.5-1ubuntu18_amd64.deb (389.2 KiB)
• darwin_1.4.5-1ubuntu18_i386.deb (359.4 KiB)
• darwin_1.4.5.orig.tar.gz (574.4 KiB)