Publishing details

• Published on 2022-08-14

Changelog

eprover-src (2.5-2.22.4) jammy; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Sun, 14 Aug 2022 08:15:41 +0200

Builds

• amd64

Built packages

• eprover Theorem Prover E.

Package files

• eprover-src_2.5-2.22.4.debian.tar.xz (3.1 KiB)
• eprover-src_2.5-2.22.4.dsc (1.5 KiB)
• eprover-src_2.5.orig.tar.gz (1.6 MiB)
• eprover_2.5-2.22.4_amd64.deb (1.7 MiB)