[frama-c/f18] Rebuild for coq 8.4pl1 and alt-ergo 0.95.

Jerry James jjames at fedoraproject.org
Mon Jan 14 22:07:02 UTC 2013

Previous message: [frama-c] Rebuild for coq 8.4pl1 and alt-ergo 0.95.
Next message: [colord/f18] Add BR systemd-devel so the seat tracking stuff works
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  a239338... Rebuild for coq 8.4pl1 and alt-ergo 0.95. (*)

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

Previous message: [frama-c] Rebuild for coq 8.4pl1 and alt-ergo 0.95.
Next message: [colord/f18] Add BR systemd-devel so the seat tracking stuff works
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list