[gappalib-coq/f18] Rebuild for OCaml 4.00.1.

Jerry James jjames at fedoraproject.org
Fri Dec 14 04:18:58 UTC 2012

Previous message: [pyzy/f17] (2 commits) ...add comment for pyzy-db
Next message: [zenon] Rebuild for OCaml 4.00.1.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  6b72f79... Rebuild for OCaml 4.00.1. (*)

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

Previous message: [pyzy/f17] (2 commits) ...add comment for pyzy-db
Next message: [zenon] Rebuild for OCaml 4.00.1.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list