[alt-ergo/f19] Rebuild for ocaml-ocamlgraph 1.8.3. Make the binaries full RELRO due to network use.

Jerry James jjames at fedoraproject.org
Thu May 23 17:36:42 UTC 2013

Previous message: [flocq/f19] Rebuild for coq 8.4pl2.
Next message: [kgb-bot/f18] Fix typo.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  341607e... Rebuild for ocaml-ocamlgraph 1.8.3. Make the binaries full  (*)

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

Previous message: [flocq/f19] Rebuild for coq 8.4pl2.
Next message: [kgb-bot/f18] Fix typo.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list