Debian Patches
Status for btor2tools/1.0.2~git20250507.fb69ee3-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| static+shared.patch | Build static and shared library | Andreas Tille <tille@debian.org> | no | 2025-08-23 |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| static+shared.patch | Build static and shared library | Andreas Tille <tille@debian.org> | no | 2025-08-23 |