Debian Patches

Status for btor2tools/1.0.2~git20250918.d33c73f-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

All known versions for source package 'btor2tools'

Links