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'

Links