rpms / cvc4

Clone
Source Code
GIT

eb73525 Add -cryptominisat patch to adapt to changes in 5.7.0.

Authored and Committed by jjames 4 years ago
raw patch tree parent
3 files changed. 123 lines added. 2 lines removed.
cvc4-cryptominisat.patch
file added
+53
cvc4-flags.patch
file modified
+67 -2
cvc4.spec
file modified
+3 -0 
    Add -cryptominisat patch to adapt to changes in 5.7.0.
file added
+53
file modified
+67 -2
file modified
+3 -0
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.