rpms / csisat

Clone
Source Code
GIT

1232bba Rebuild for new glpk and new picosat.

Authored and Committed by Jerry James 10 years ago
raw patch tree parent
3 files changed. 611 lines added. 2 lines removed.
csisat-glpk.patch
file added
+469
csisat-picosat.patch
file added
+127
csisat.spec
file modified
+15 -2 
    Rebuild for new glpk and new picosat.
file added
+469
file added
+127
file modified
+15 -2
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.