[cvc4/f22] (2 commits) ...Work around %{__isa_bits} brokenness on koji.

Jerry James jjames at fedoraproject.org
Thu Mar 12 14:45:19 UTC 2015


Summary of changes:

  ebc8ce8... Add -boolean, -minisat, and -signed patches to fix test fai (*)
  1eebfe3... Work around %{__isa_bits} brokenness on koji. (*)

(*) This commit already existed in another branch; no separate mail sent


More information about the scm-commits mailing list