Debian Patches
Status for eprover/3.2.5+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
All known versions for source package 'eprover'
3.2.5+ds-1
(trixie, sid)
2.6+ds-3
(bookworm)
Links
Package Tracker for 'eprover'
Debian Maintainer Dashboard for 'eprover'
Browse sources for 'eprover/3.2.5+ds-1' on sources.debian.org
DEP3: Patch Tagging Guidelines