Ubuntu
eprover package

eprover 2.6+ds-3 source package in Ubuntu

Changelog

eprover (2.6+ds-3) unstable; urgency=medium

  * Complete d/copyright again.

 -- Julien Puydt <email address hidden>  Wed, 13 Jul 2022 23:52:46 +0200

Upload details

Uploaded by:
Debian Math Team
Uploaded to:
Sid
Original maintainer:
Debian Math Team
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe misc
Lunar release universe misc

Downloads

File Size SHA-256 Checksum
eprover_2.6+ds-3.dsc 1.9 KiB c6f48c665f2390894aae0c28465094354100456cc82a9700f1efcf9bb7631c26
eprover_2.6+ds.orig.tar.xz 1.0 MiB 469c6485df0a8ac664d21c665f32b820ee41f77b2e3c71d7186de03d278df245
eprover_2.6+ds-3.debian.tar.xz 10.0 KiB 3bb6442dfe021e3a47ce1baa2864d27ca2b366d7a2580a773df1e08134900e52

Available diffs

No changes file available.

Binary packages built by this source

eprover: Equational theorem prover

 This package provides tools to prove equational theorems:
 from a mathematical specification in many-sorted first-order
 logic with equality and an hypothesis/conjecture, it
 will look for a proof.

eprover-dbgsym: debug symbols for eprover