[why3/f19] (3 commits) ...Update the -fixes patch for frama-c Fluorine 20130501.

Jerry James jjames at fedoraproject.org
Thu May 23 19:19:33 UTC 2013

Previous message: [pkgdb] mate-icon-theme: raveit65 has requested commit
Next message: [bzr] Patch for CVE-2013-2099
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  2a300eb... New upstream release. Disable PVS support for now; it requi (*)
  78dd710... Rebuild for frama-c Fluorine 20130501. (*)
  2fd240b... Update the -fixes patch for frama-c Fluorine 20130501. (*)

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

Previous message: [pkgdb] mate-icon-theme: raveit65 has requested commit
Next message: [bzr] Patch for CVE-2013-2099
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list