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 |