Debian Patches

Status for eprover/3.2.0+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'

Links