isabelle: Admin/ocaml/opam/README@96905404ffba (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
69954 96905404ffba more explicit opam dependencies; wenzelm parents: 69934 diff changeset	6	In order to work properly, the underlying OS platform needs to provide
96905404ffba more explicit opam dependencies; wenzelm parents: 69934 diff changeset	7	standard build tools for C/OCaml development. Cygwin requires a separate
96905404ffba more explicit opam dependencies; wenzelm parents: 69934 diff changeset	8	package "opam" version 2.0.x.
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	9
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	10
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: diff changeset	11	Makarius
69954 96905404ffba more explicit opam dependencies; wenzelm parents: 69934 diff changeset	12	23-Mar-2018

author	wenzelm
	Sat, 23 Mar 2019 15:17:32 +0100
changeset 69954	96905404ffba
parent 69934	13276f83fdac
permissions	-rw-r--r--