updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
authorwenzelm
Thu Mar 21 12:38:06 2019 +0100 (4 weeks ago)
changeset 6993413276f83fdac
parent 69933 c15ee153dec1
child 69935 11d0fdb29ebc
updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
Admin/components/components.sha1
Admin/components/main
Admin/ocaml/opam/README
     1.1 --- a/Admin/components/components.sha1	Wed Mar 20 23:06:51 2019 +0100
     1.2 +++ b/Admin/components/components.sha1	Thu Mar 21 12:38:06 2019 +0100
     1.3 @@ -168,6 +168,7 @@
     1.4  26df569cee9c2fd91b9ac06714afd43f3b37a1dd  nunchaku-0.3.tar.gz
     1.5  e573f2cbb57eb7b813ed5908753cfe2cb41033ca  nunchaku-0.5.tar.gz
     1.6  fe57793aca175336deea4f5e9c0d949a197850ac  opam-1.2.2.tar.gz
     1.7 +002f74c9e65e650de2638bf54d7b012b8de76c28  opam-2.0.3.tar.gz
     1.8  1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb  polyml-5.4.1.tar.gz
     1.9  a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56  polyml-5.5.0-1.tar.gz
    1.10  7d604a99355efbfc1459d80db3279ffa7ade3e39  polyml-5.5.0-2.tar.gz
     2.1 --- a/Admin/components/main	Wed Mar 20 23:06:51 2019 +0100
     2.2 +++ b/Admin/components/main	Thu Mar 21 12:38:06 2019 +0100
     2.3 @@ -11,7 +11,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2-1
     2.6  nunchaku-0.5
     2.7 -opam-1.2.2
     2.8 +opam-2.0.3
     2.9  polyml-5.8
    2.10  postgresql-42.2.5
    2.11  scala-2.12.8
     3.1 --- a/Admin/ocaml/opam/README	Wed Mar 20 23:06:51 2019 +0100
     3.2 +++ b/Admin/ocaml/opam/README	Thu Mar 21 12:38:06 2019 +0100
     3.3 @@ -1,10 +1,10 @@
     3.4 -This is OPAM 1.2.2 -- the OCaml Package Manager.
     3.5 +This is OPAM 2.0.3 -- the OCaml Package Manager.
     3.6  
     3.7  The executables for x86_64-linux and x86_64-darwin are from
     3.8 -https://github.com/ocaml/opam/releases/tag/1.2.2
     3.9 +https://github.com/ocaml/opam/releases/tag/2.0.3
    3.10  
    3.11  The executable for x86_64-cygwin is provided as a Cygwin package.
    3.12  
    3.13  
    3.14      Makarius
    3.15 -    08-Oct-2018
    3.16 +    21-Mar-2018