Le mardi, 21 avril 2015 à 22:55, Thomas Gazagnaire a écrit : > This was tracked by https://github.com/ocaml/opam/issues/1799 and is released > in opam 1.2.2, so you can do:
Ah excellent, that is indeed enough in case you need a pin not to be considered bleeding edge (which must be a negligible amount of the time). Daniel _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
