Le jeudi, 10 décembre 2015 à 18:30, Thomas Gazagnaire a écrit :
> Your are lucky, this is coming in opam 1.3, with opam signing [1,2] :-) 
> [hopefully]

And unlucky if things like this [1] get in…

Daniel

[1] https://github.com/ocaml/opam/issues/2247

_______________________________________________
MirageOS-devel mailing list
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Reply via email to