Package: cvc5 / 1.1.2-3
Metadata
Package | Version | Patches format |
---|---|---|
cvc5 | 1.1.2-3 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
skip himem tests.patch | (download) |
test/api/cpp/CMakeLists.txt |
2 0 + 2 - 0 ! |
--- |
dont compress debug.patch | (download) |
CMakeLists.txt |
6 5 + 1 - 0 ! |
[patch 1/3] add build option for skipping compression of debug symbols |
no rpath.patch | (download) |
CMakeLists.txt |
5 4 + 1 - 0 ! |
[patch 2/3] add build option for skipping setting of rpath |
no pythonic api.patch | (download) |
src/api/python/CMakeLists.txt |
38 19 + 19 - 0 ! |
--- |
debian python install.patch | (download) |
src/api/python/CMakeLists.txt |
3 2 + 1 - 0 ! |
--- |
use default linker.patch | (download) |
CMakeLists.txt |
3 2 + 1 - 0 ! |
[patch 3/3] add build option for using the default linker |