[opam-devel] depopt constraints not respected

[Daniel Bünzli]

Le samedi, 5 avril 2014 à 17:15, Roberto Di Cosmo a écrit :

> - we have many opam users around that are potentially being
> hit by this issue right away: is it easier to add a single
> line to a few packages in the repository, or to change opam,
> test-it, roll it out and ask everybody to use the git dev
> version?

Sure, but in the long term I'd really like opam doing that. The current situation goes against the DRY principle and common sense.  

Daniel