Debian Patches

Status for cvc5/1.1.2-2

Patch Description Author Forwarded Bugs Origin Last update
skip-himem-tests.patch no
dont-compress-debug.patch [PATCH 1/3] Add build option for skipping compression of debug symbols Scott Talbert <swt@techie.net> no 2024-03-10
no-rpath.patch [PATCH 2/3] Add build option for skipping setting of rpath Scott Talbert <swt@techie.net> no 2024-03-10
no-pythonic-api.patch no
debian-python-install.patch no
use-default-linker.patch [PATCH 3/3] Add build option for using the default linker Scott Talbert <swt@techie.net> no 2024-03-10

All known versions for source package 'cvc5'

Links