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'
- 965-2 (trixie, bookworm, sid, bullseye)