# HG changeset patch # User wenzelm # Date 1553168286 -3600 # Node ID 13276f83fdac1bcb18b3747795919241e7cb6a3e # Parent c15ee153dec18ee14693e60d971276d57386fc93 updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4; diff -r c15ee153dec1 -r 13276f83fdac Admin/components/components.sha1 --- a/Admin/components/components.sha1 Wed Mar 20 23:06:51 2019 +0100 +++ b/Admin/components/components.sha1 Thu Mar 21 12:38:06 2019 +0100 @@ -168,6 +168,7 @@ 26df569cee9c2fd91b9ac06714afd43f3b37a1dd nunchaku-0.3.tar.gz e573f2cbb57eb7b813ed5908753cfe2cb41033ca nunchaku-0.5.tar.gz fe57793aca175336deea4f5e9c0d949a197850ac opam-1.2.2.tar.gz +002f74c9e65e650de2638bf54d7b012b8de76c28 opam-2.0.3.tar.gz 1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56 polyml-5.5.0-1.tar.gz 7d604a99355efbfc1459d80db3279ffa7ade3e39 polyml-5.5.0-2.tar.gz diff -r c15ee153dec1 -r 13276f83fdac Admin/components/main --- a/Admin/components/main Wed Mar 20 23:06:51 2019 +0100 +++ b/Admin/components/main Thu Mar 21 12:38:06 2019 +0100 @@ -11,7 +11,7 @@ jortho-1.0-2 kodkodi-1.5.2-1 nunchaku-0.5 -opam-1.2.2 +opam-2.0.3 polyml-5.8 postgresql-42.2.5 scala-2.12.8 diff -r c15ee153dec1 -r 13276f83fdac Admin/ocaml/opam/README --- a/Admin/ocaml/opam/README Wed Mar 20 23:06:51 2019 +0100 +++ b/Admin/ocaml/opam/README Thu Mar 21 12:38:06 2019 +0100 @@ -1,10 +1,10 @@ -This is OPAM 1.2.2 -- the OCaml Package Manager. +This is OPAM 2.0.3 -- 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 +https://github.com/ocaml/opam/releases/tag/2.0.3 The executable for x86_64-cygwin is provided as a Cygwin package. Makarius - 08-Oct-2018 + 21-Mar-2018