<div dir="ltr"><div><div>s/architecture/compiler version/g<br></div><br></div>in the previous message<br></div><div class="gmail_extra"><br><div class="gmail_quote">2014-09-27 20:14 GMT+02:00 Roberto Di Cosmo <span dir="ltr"><<a href="mailto:roberto@dicosmo.org" target="_blank">roberto@dicosmo.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div><div><div>Dear Thomas,<br></div>   I have some difficulty in understanding what exactly you do not understand in the reports present on OWS.<br><br></div>Let me try to provide a few hints; a package is reported as "bad" for a given version and a given architecture if there is no way to satisfy its dependencies.<br><br>This means that there is no way you can install it using opam, and even if the "code" shipped with the package may be perfectly fine, the "package" itself is nevertheless useless.<br><br>This is why it is often termed "broken", following a terminology that is now standard in the world of package based distribution, as it has been in use for a couple of decades.<br><br></div>Why a package is broken, who is responsible of fixing it, is another story: it can be the package maintainer that did not update the dependencies, or the maintainer of a dependency that has wrongly removed it, or the release manager that has not spotted the problem.<br><br></div>In the framework of the Mancoosi project we have developed a full suite of tools to help improving the quality of a package based system, and it so happen that all these tools are even written in OCaml.<br><br></div>I really do suggest that people on this list take the time and read the short support material that was developed by Zack, Ralf and me for the HATS summer school, and that is available here: <br><div><a href="http://www.dicosmo.org/Publications/Hats2012.html" target="_blank">http://www.dicosmo.org/Publications/Hats2012.html</a><br><br></div><div>All the best<br><br>--<br></div><div>Roberto<br></div><div><div><div><br></div></div></div></div><div class="gmail_extra"><div><div class="h5"><br><div class="gmail_quote">2014-09-27 19:43 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">Hi,<br>
<br>
I had a quick look at "opam weather services" reports and I am a bit puzzled at how the statistic are computed. It seems that a package is considered as "broken" when one of its dependency cannot be installed. I'm not sure it makes sense: in the case the dependency is not available on a given platform / compiler version, then all the packages which depend upon it are not available as well as "availability" is a transitive relation in opam. These packages are not "broken".<br>
<br>
Especially, on that page: <a href="http://ows.irill.org/table.html" target="_blank">http://ows.irill.org/table.html</a> a lot of "bad" result are in fact simply a result the package not available for the given compiler version.<br>
<br>
I'm sure they are packages which are actually broken (ie. there are no version of ocaml where they can be installed) and these should be much more useful to high-light in order than someone try to fix the descriptions (for instance me, when I am bored and have nothing else to do).<br>
<br>
Best,<br>
Thomas<br>
_______________________________________________<br>
opam-devel mailing list<br>
<a href="mailto:opam-devel@lists.ocaml.org" target="_blank">opam-devel@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/opam-devel" target="_blank">http://lists.ocaml.org/listinfo/opam-devel</a><br>
</blockquote></div><br><br clear="all"><br></div></div>-- <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  : <a href="tel:%2B%2B33-%280%291-57%2027%2092%2020" value="+33157279220" target="_blank">++33-(0)1-57 27 92 20</a></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>
</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>