On Mon, 2 Nov 2015 02:24:58 -0800, David Chemouil wrote:  > In packages/electrumAnalyzer/electrumAnalyzer.0.3.4/opam: >  > > +dev-repo: "https://git.onera.fr/electrum.git";  I do not think it is great that this link requires authentication (it will only frustrate users who try to click on the link).  Maybe you want to use the Github mirror instead? 