Debian Patches
Status for eprover/3.2.5+ds-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| unvendor_picosat.patch | use the system's picosat instead of the vendored one | Julien Puydt | not-needed | |||
| local_libs.patch | shorten PROVER/Makefile | Julien Puydt | invalid |
All known versions for source package 'eprover'
- 3.2.5+ds-1 (forky, trixie, sid)
- 2.6+ds-3 (bookworm)