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