<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>Thanks for asking Louis.</div><div><br><blockquote type="cite"><div style=" font-family:'Droid Sans Mono'; font-size:8pt; font-weight:400; font-style:normal;"><div style="margin: 0px; text-indent: 0px;">Stating the obvious:</div><div style="margin: 0px; text-indent: 0px;">* The ultimate goal is better user experience</div><div style="margin: 0px; text-indent: 0px;">* The metrics must correspond to a criterion that we want to optimize to lead towards that goal</div><div style="margin: 0px; text-indent: 0px;">* Related, secondary goal is to give pointers to maintainers on what to improve</div><div style="margin: 0px; text-indent: 0px;">* Finally, as much packages (and versions?) as possible should be installable, all ocaml versions and archs </div><div style="margin: 0px; text-indent: 0px;">included.</div><p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; "> </p><div style="margin: 0px; text-indent: 0px;">Please be constructive !</div></div></blockquote><div><br></div><div>From a maintainer point-of-view, the "implicit" static quality I'm tending towards is:</div><div><br></div><div>- for each package, there should be at least one version which works for every compiler. If not, there should be at least one version which works on the latest compiler.</div><div>- for each package, none of the versions should be broken on all compilers</div><div>- for each package, none of the versions should be in conflict</div><div><br></div><div>Only the 3rd point is specific to dependencies meta-data. The first 2 points also applies to build results.</div><div><br></div><div>Still as a maintainer point-of-view, I'm interested by the root causes of all of this as these better reflect the amount of work needed to improve.</div><div><br></div><div>Thomas</div><div><br></div></div><style type="text/css">
p, li { white-space: pre-wrap; }
</style></body></html>