Publishing details

• Published on 2020-10-27

Changelog

darwin-src (1.4.5-4.20.4) focal; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Tue, 27 Oct 2020 16:25:11 +0100

Builds

• amd64

Built packages

• darwin Theorem Prover Darwin.

Package files

• darwin-src_1.4.5-4.20.4.debian.tar.xz (2.2 KiB)
• darwin-src_1.4.5-4.20.4.dsc (1.4 KiB)
• darwin-src_1.4.5.orig.tar.gz (586.7 KiB)
• darwin_1.4.5-4.20.4_amd64.deb (799.5 KiB)