eprover 3.2.0+ds-1 source package in Ubuntu
Changelog
eprover (3.2.0+ds-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Mon, 17 Jun 2024 08:01:15 +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 | Published | Component | Section | |
|---|---|---|---|---|
| Oracular | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| eprover_3.2.0+ds-1.dsc | 1.9 KiB | f5e93964615d12672c23d40049f5052be1a54ce7115e5d39dbae90b4fc3612b6 |
| eprover_3.2.0+ds.orig.tar.xz | 1010.1 KiB | 0651353014007254744f537d690018dc55dfe3474ec7de4fc98a9122f989eff2 |
| eprover_3.2.0+ds-1.debian.tar.xz | 4.3 KiB | 9569ac361d6fb3ee985498f31fd258f1bbd21d785d61508e209f2f9cd0bf3d68 |
Available diffs
- diff from 3.1.0+ds-2 to 3.2.0+ds-1 (4.2 KiB)
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
