[why/f18] (2 commits) ...Rebuild for new frama-c build with altered API.

Jerry James jjames at fedoraproject.org
Tue Sep 11 21:53:04 UTC 2012

Previous message: [frama-c/f18] (2 commits) ...Disable dangerous code in src/type/type.ml that leads to segfaults.
Next message: [pkgdb] openshift-origin-broker was added for tdawson
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  6a0dc30... Frama-c is fixed; rebuild with the Jessie plugin enabled an (*)
  b3d2473... Rebuild for new frama-c build with altered API. (*)

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

Previous message: [frama-c/f18] (2 commits) ...Disable dangerous code in src/type/type.ml that leads to segfaults.
Next message: [pkgdb] openshift-origin-broker was added for tdawson
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list