[opam-devel] depopt constraints not respected

Daniel Bünzli daniel.buenzli at erratique.ch
Sat Apr 5 16:35:48 BST 2014

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.  


More information about the opam-devel mailing list