Admin/ocaml/opam/README
author wenzelm
Mon, 08 Oct 2018 12:52:28 +0200
changeset 69134 a142ec271d83
child 69934 13276f83fdac
permissions -rw-r--r--
isabelle_opam as portable shell function;

This is OPAM 1.2.2 -- the OCaml Package Manager.

The executables for x86_64-linux and x86_64-darwin are from
https://github.com/ocaml/opam/releases/tag/1.2.2

The executable for x86_64-cygwin is provided as a Cygwin package.


    Makarius
    08-Oct-2018