Publishing details

• Published on 2022-07-29

Changelog

eprover (2.6+ds-3~ppa1~jammy1) jammy; urgency=medium

  * Backport to Jammy

 -- Nicola Ferralis <email address hidden>  Fri, 29 Jul 2022 18:25:27 -0400

Builds

• amd64

Built packages

• eprover Equational theorem prover

Package files

• eprover_2.6+ds-3~ppa1~jammy1.debian.tar.xz (10.1 KiB)
• eprover_2.6+ds-3~ppa1~jammy1.dsc (1.9 KiB)
• eprover_2.6+ds-3~ppa1~jammy1_amd64.deb (1.0 MiB)
• eprover_2.6+ds.orig.tar.xz (1.0 MiB)