[frama-c/f21] Rebuild for coq 8.4pl5.

Jerry James jjames at fedoraproject.org
Fri Nov 7 14:51:19 UTC 2014

Previous message: [openvswitch] Updated to 2.3.0-git39ebb203
Next message: [pyparsing] Fix python3 conditional
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  d78a5e1... Rebuild for coq 8.4pl5. (*)

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

Previous message: [openvswitch] Updated to 2.3.0-git39ebb203
Next message: [pyparsing] Fix python3 conditional
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list