Debian Patches

Status for cvc5/1.0.3-1

Patch Description Author Forwarded Bugs Origin Last update
antlr-jar-name.patch no
skip-himem-tests.patch no
add-missing-versioned-library.patch [PATCH] Restore missing versioned shared library
Fixes #9273.
Scott Talbert <swt@techie.net> no 2022-12-19
dont-compress-debug.patch no
no-rpath.patch no

All known versions for source package 'cvc5'

Links