https://bugzilla.redhat.com/show_bug.cgi?id=1093522
Anton Kochkov anton.kochkov@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |anton.kochkov@gmail.com
--- Comment #1 from Anton Kochkov anton.kochkov@gmail.com --- Are there any updates on this? This is recommended solver for OPAM (OCaml Package Manager).