Debian Patches
Status for picosat/965-3
| 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 |