eprover 3.1.0+ds-1 source package in Ubuntu
Changelog
eprover (3.1.0+ds-1) unstable; urgency=medium * Drop unused patch to simplify the Makefile. * New upstream release. * Bump standards-version to 4.7.0. * Refresh patches. -- Julien Puydt <email address hidden> Thu, 02 May 2024 15:58:03 +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.1.0+ds-1.dsc | 1.9 KiB | 2a5a11f729f36e58e884f03f263b66f89dcffd4c8e040fec6c80971c1320b13e |
| eprover_3.1.0+ds.orig.tar.xz | 1010.0 KiB | 7cc1d94bcd6511c8e54609ff8698352962bde97088a36d25fcb2968f80c0dbb9 |
| eprover_3.1.0+ds-1.debian.tar.xz | 4.3 KiB | c37652d755c7de071ff74ea91233ada7471b3139caaa5827caf4197142c03e76 |
Available diffs
- diff from 3.0.03+ds-1 to 3.1.0+ds-1 (20.4 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
