rpms / csisat

Clone
Source Code
GIT

3129746 * Thu Jan 27 2011 Jerry James <loganjerry@gmail.com> - 1.2-3

Authored and Committed by jjames 13 years ago
raw patch tree parent
2 files changed. 5 lines added. 3 lines removed.
csisat-makefile.patch
file modified
+1 -1
csisat.spec
file modified
+4 -2 
    * Thu Jan 27 2011 Jerry James <loganjerry@gmail.com> - 1.2-3
    - Rebuild for new picosat and new ocaml
file modified
+1 -1
file modified
+4 -2
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.