Publishing details

• Published on 2020-10-27

Changelog

e-darwin-src (1.4.26092011-1.16.4) xenial; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Tue, 27 Oct 2020 15:34:49 +0100

Builds

• amd64

Built packages

• e-darwin Theorem Prover E-Darwin.

Package files

• e-darwin-src_1.4.26092011-1.16.4.debian.tar.xz (1.9 KiB)
• e-darwin-src_1.4.26092011-1.16.4.dsc (1.5 KiB)
• e-darwin-src_1.4.26092011.orig.tar.gz (605.7 KiB)
• e-darwin_1.4.26092011-1.16.4_amd64.deb (632.3 KiB)