<div dir="ltr"><div>It's not about "the open", that is up to now bringing nothing to a better understanding of the issue, since it is just me and you discussing on two different points of views.<br><br>It's about the bandwidth, and time.<br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2014-09-30 18:19 GMT+02:00 Thomas Gazagnaire <span dir="ltr"><<a href="mailto:thomas@gazagnaire.org" target="_blank">thomas@gazagnaire.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> In particular, it does not try to solve the difficult issue of finding who is to<br>
> blame for a particular broken package, that's up to the release manager or the<br>
> package maintainers: if a package P marked "available" for 3.12 cannot compile<br>
> because it depends on a package Q that has no version "available" for 3.12,<br>
> it is broken nonetheless, and it must be reported, because a user may try<br>
> to install it and see it fail. I do not understand why you want to change<br>
> this.<br>
<br>
</span>Because the kind of errors reported to the user is very different and the way to fix it is different as well.<br>
<br>
$ opam install async.108.00.02<br>
The following dependencies couldn't be met:<br>
  - async -> async_core = 108.00.02 -> core < 109.31.00<br>
Your request can't be satisfied:<br>
  - core<109.31.00 is not available because it requires OCaml >= 4.00.1 & < 4.01.0.<br>
<br>
vs.<br>
<br>
$ opam install mirage-www.0.3.0<br>
The following dependencies couldn't be met:<br>
  - mirage-www -> cstruct < 0.6.0<br>
  - mirage-www -> mirage-fs >= 0.4.0 -> cstruct >= 0.6.0 | cstruct >= 0.6.0<br>
Your request can't be satisfied:<br>
  - Conflicting version constraints for cstruct<br>
<br>
In the first case, there is nothing to "fix". But to make ows happy we can populate the "available" field of async to get the same message as when trying to install core:<br>
<br>
$ opam install core.108.00.02<br>
[ERROR] core.108.00.02 is not available because it requires OCaml < 4.00.1.<br>
<br>
This will transform the "red" box in ows into an "empty" box: that's good for the stats, but I'm not sure that's better for an user point-of-view.<br>
<br>
In the second case, that's clearly an error if the package that should be fixed (or the package should be removed as there is no valid user configuration where it can be installed). This is a very valuable information which should be high-lighted to the repository (or package) maintainers.<br>
<span class=""><br>
> I'm sure in front of a blackboard things would be much easier to explain, both<br>
> ways, and we will certainly find common grounds then, so let's postpone this<br>
> discussion to the first occasion we can do that<br>
<br>
</span>I'm happy to discuss about than in person, although I think that's also good we have that kind of discussion in the open so that other people on that list can follow what's happening and comment if they (don't?) like. But we can maybe organise an opam-devel meeting close to the ocaml consortium meeting (not sure when it is exactly, but can be the same day or the day before/after).<br>
<br>
Best,<br>
Thomas<br>
<br>
</blockquote></div><br><br clear="all"><br>-- <br><div dir="ltr"><div>Roberto Di Cosmo</div><div> </div><div>------------------------------------------------------------------</div><div>Professeur               En delegation a l'INRIA</div><div>PPS                      E-mail: <a href="mailto:roberto@dicosmo.org" target="_blank">roberto@dicosmo.org</a></div><div>Universite Paris Diderot WWW  : <a href="http://www.dicosmo.org" target="_blank">http://www.dicosmo.org</a></div><div>Case 7014                Tel  : ++33-(0)1-57 27 92 20</div><div>5, Rue Thomas Mann       </div><div>F-75205 Paris Cedex 13   Identica: <a href="http://identi.ca/rdicosmo" target="_blank">http://identi.ca/rdicosmo</a></div><div>FRANCE.                  Twitter: <a href="http://twitter.com/rdicosmo" target="_blank">http://twitter.com/rdicosmo</a></div><div>------------------------------------------------------------------</div><div>Attachments:</div><div>MIME accepted, Word deprecated</div><div>      <a href="http://www.gnu.org/philosophy/no-word-attachments.html" target="_blank">http://www.gnu.org/philosophy/no-word-attachments.html</a></div><div>------------------------------------------------------------------</div><div>Office location:</div><div> </div><div>Bureau 320 (3rd floor)</div><div>Batiment Sophie Germain</div><div>Avenue de France</div><div>Metro Bibliotheque Francois Mitterrand, ligne 14/RER C</div><div>-----------------------------------------------------------------</div>GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3 </div>
</div>