isabelle: Admin/ocaml/opam/README@13276f83fdac (annotated)

69934 13276f83fdac updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4; wenzelm parents: 69134 diff changeset	1	This is OPAM 2.0.3 -- the OCaml Package Manager.
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	2
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	3	The executables for x86_64-linux and x86_64-darwin are from
69934 13276f83fdac updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4; wenzelm parents: 69134 diff changeset	4	https://github.com/ocaml/opam/releases/tag/2.0.3
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	5
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	6	The executable for x86_64-cygwin is provided as a Cygwin package.
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	7
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	8
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	9	Makarius
69934 13276f83fdac updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4; wenzelm parents: 69134 diff changeset	10	21-Mar-2018