[gappalib-coq/f18] Rebuild for coq 8.4pl1.

Jerry James jjames at fedoraproject.org
Mon Jan 14 20:06:39 UTC 2013

Previous message: File openjdk-icedtea-2.4.0.tar.gz uploaded to lookaside cache by dbhole
Next message: [compiz-plugins-unsupported/f18] initial import
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  00d5fcf... Rebuild for coq 8.4pl1. (*)

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

Previous message: File openjdk-icedtea-2.4.0.tar.gz uploaded to lookaside cache by dbhole
Next message: [compiz-plugins-unsupported/f18] initial import
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list