[why/f18] (2 commits) ...Rebuild for alt-ergo 0.95.

Jerry James jjames at fedoraproject.org
Mon Jan 14 23:32:18 UTC 2013

Previous message: [ecj/f17] Patch GCCMain to avoid dummy symbols.
Next message: File xfontsel-1.0.4.tar.bz2 uploaded to lookaside cache by whot
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  08b14c7... Rebuild for coq 8.4pl1. (*)
  8e6cc46... Rebuild for alt-ergo 0.95. (*)

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

Previous message: [ecj/f17] Patch GCCMain to avoid dummy symbols.
Next message: File xfontsel-1.0.4.tar.bz2 uploaded to lookaside cache by whot
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list