[cryptominisat/f16] (2 commits) ...New upstream version.
Jerry James
jjames at fedoraproject.org
Mon Apr 16 16:24:04 UTC 2012
Summary of changes:
a0cca0d... - Rebuilt for c++ ABI breakage (*)
70ff171... New upstream version. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list