Ubuntu
eprover package

eprover 3.0.03+ds-1 source package in Ubuntu

Changelog

eprover (3.0.03+ds-1) unstable; urgency=medium

  * New upstream release.
  * Refresh patches.
  * Fix clean target (Closes: #1044847).

 -- Julien Puydt <email address hidden>  Tue, 12 Dec 2023 15:15:05 +0100

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
Noble release universe misc

Downloads

File Size SHA-256 Checksum
eprover_3.0.03+ds-1.dsc 1.9 KiB 93ba1c785238ba2d51b8273de93b0f6cfc79b7f7572363e2341e55a043ca3a46
eprover_3.0.03+ds.orig.tar.xz 1007.5 KiB f94276e6862911bb1d81d7e7ad5c2535cef13864f1fe02f5b90b05f5a80e5f64
eprover_3.0.03+ds-1.debian.tar.xz 4.8 KiB 235f25b56c7eea4b1d835ae3830f482d6d0080e2f3a53e908729473e7889de42

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