Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Fedora Update System changed:
What|Removed |Added
Status|ON_QA |CLOSED
Re
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
--- Comment #11 from Fedora Update System ---
ocaml-tplib-1.2-2.fc18 has been pushed to the Fedora 18 stable repository.
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
http
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
--- Comment #10 from Fedora Update System ---
ocaml-tplib-1.2-2.fc18 has been pushed to the Fedora 18 testing repository.
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
htt
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Fedora Update System changed:
What|Removed |Added
Status|MODIFIED|ON_QA
--
You are
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Fedora Update System changed:
What|Removed |Added
Status|ASSIGNED|MODIFIED
--
You
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
--- Comment #9 from Fedora Update System ---
ocaml-tplib-1.2-2.fc18 has been submitted as an update for Fedora 18.
https://admin.fedoraproject.org/updates/ocaml-tplib-1.2-2.fc18
--
You are receiving this mail because:
You are on
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
--- Comment #8 from Jon Ciesla ---
Git done (by process-git-requests).
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
https://bugzilla.redhat.com/token.cgi?t=7nqM69kJcg&a=c
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Jerry James changed:
What|Removed |Added
Flags||fedora-cvs?
--- Comment #7
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Paulo Andrade changed:
What|Removed |Added
Flags||fedora-review+
--- Comme
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
--- Comment #5 from Jerry James ---
Yes, I believe you are right. This is a recipe for conflicts. That worries me
a great deal. Nevertheless, I have no control over how those Provides are
generated. They are made by /usr/lib/r
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
--- Comment #4 from Paulo Andrade ---
(In reply to comment #3)
> > Should it really provide mlgmpidl_plugin.cmxs? I presume the others
> > are ok, but does ocaml understand that it must search whatever
> > ocaml(Halfspace) in %{_
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
--- Comment #3 from Jerry James ---
(In reply to comment #2)
> This one also have spec and spec from srpm not matching, so I assume
> the spec to use is the one in the srpm.
Oops. How did I do that?! You used the correct one.
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Paulo Andrade changed:
What|Removed |Added
Status|NEW |ASSIGNED
--
You are rec
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
--- Comment #2 from Paulo Andrade ---
This one also have spec and spec from srpm not matching, so I assume
the spec to use is the one in the srpm.
I am not familiar with ocaml, so please describe me how it works,
and that it is c
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Paulo Andrade changed:
What|Removed |Added
CC||paulo.cesar.pereira.de.an
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Bug 872020 depends on bug 870522, which changed state.
Bug 870522 Summary: Review Request: ocaml-zarith - OCaml interface to GMP
https://bugzilla.redhat.com/show_bug.cgi?id=870522
What|Removed |
https://bugzilla.redhat.com/show_bug.cgi?id=872020
Jerry James changed:
What|Removed |Added
Depends On||870522
--
You are receiving this mail bec
17 matches
Mail list logo