[coq/f20] (3 commits) ...New upstream release.

Jerry James jjames at fedoraproject.org
Wed Dec 18 15:52:34 UTC 2013

Previous message: [dbus/f20] BR valgrind; was probably not intended to be a dependency by default,
Next message: File mirrormanager-1.4.3.tar.xz uploaded to lookaside cache by mdomsch
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  b0d944c... Rebuild for OCaml 4.01.0. Enable debuginfo. (*)
  6b22ed5... Rebuild for ocaml-lablgtk 2.18. (*)
  e8ff323... New upstream release. (*)

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

Previous message: [dbus/f20] BR valgrind; was probably not intended to be a dependency by default,
Next message: File mirrormanager-1.4.3.tar.xz uploaded to lookaside cache by mdomsch
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list