<div dir="ltr">Unrelated to opam is simply the architectural decision in Coq that vo's have strict dependencies on precise builds of Coq (including the version of OCaml used). I understand that this is possibly eases the implementation of Coq internals, but pulling out the actual code that saves to and reads from a file would benefit anyone who wants to use or distribute Coq libraries.</div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Apr 10, 2013 at 5:17 PM, Wojciech Meyer <span dir="ltr"><<a href="mailto:wojciech.meyer@gmail.com" target="_blank">wojciech.meyer@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thomas Refis <<a href="mailto:thomas.refis@gmail.com">thomas.refis@gmail.com</a>> writes:<br>
<br>
> Another possibility is to not update a package right away when a knew<br>
> optional dependency is available, but wait for the next "opam<br>
> upgrade". And adding a "--ignore <package>" option to the upgrade<br>
> command would be nice as well.<br>
<br>
I agree it would be a useful feature, and might cause errors which we<br>
really try to avoid. As a side note, I had occasions to recompile some<br>
packages when it was *not* really required. Coq compiles quite long, and<br>
I care about compilation time too so reducing that time would be really<br>
good when upgrading dependent packages.<br>
<br>
Thanks,<br>
Wojciech<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>gregory malecha<br><div><a href="http://www.people.fas.harvard.edu/~gmalecha/" target="_blank">http://www.people.fas.harvard.edu/~gmalecha/</a></div>
</div>