On Wed, Feb 24, 2016 at 5:24 PM, Roberto Di Cosmo <roberto at dicosmo.org> wrote: > A dockerized aspcud is here Nice, thanks! -- *Paolo* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20160224/85917ced/attachment.html>