Debian Patches
Status for cvc5/1.1.2-3
| 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 |