Debian Patches

Status for eprover/3.0.03+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 invalid

All known versions for source package 'eprover'

Links