Debian Patches
Status for eprover/2.6+ds-3
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| local_libs.patch | shorten PROVER/Makefile diff --git a/PROVER/Makefile b/PROVER/Makefile index c900bb8..a8d0fb9 100644 |
Julien Puydt | invalid | |||
| unvendor_picosat.patch | use the system's picosat instead of the vendored one | Julien Puydt | invalid | |||
| typos.patch | fix typos | Julien Puydt | invalid | |||
| simplify_PROVER_Makefile.patch | try to make PROVER/Makefile minimal | Julien Puydt | invalid |
All known versions for source package 'eprover'
- 3.2.5+ds-1 (forky, trixie, sid)
- 2.6+ds-3 (bookworm)