Debian Patches

Status for picosat/965-2

Patch Description Author Forwarded Bugs Origin Last update
dynamic_lib.patch Create dynamic library Michael Tautschnig no 2012-12-02
verbose_output.patch More verbose output Michael Tautschnig no 2012-12-02
hardening.patch Propagate hardening options Andreas Tille <tille@debian.org>, Nilesh Patra <npatra974@gmail.com> no 2021-02-21

All known versions for source package 'picosat'

Links