From e368bb592e1dc3740dee6f06e671fc6ca0cf86a5 Mon Sep 17 00:00:00 2001 From: Robur Date: Fri, 25 Jun 2021 13:42:10 +0000 Subject: [PATCH] bump opam --- packages/opam-client.2.1.0~rc3/opam | 42 +++++++++++++++++ .../opam | 0 packages/opam-format.2.1.0~rc3/opam | 38 ++++++++++++++++ packages/opam-installer.2.1.0~rc3/opam | 40 +++++++++++++++++ packages/opam-repository.2.1.0~rc3/opam | 37 +++++++++++++++ packages/opam-solver.2.1.0~rc3/opam | 45 +++++++++++++++++++ packages/opam-state.2.1.0~rc3/opam | 37 +++++++++++++++ 7 files changed, 239 insertions(+) create mode 100644 packages/opam-client.2.1.0~rc3/opam rename packages/{opam-core.2.1.0~rc2 => opam-core.2.1.0~rc3}/opam (100%) create mode 100644 packages/opam-format.2.1.0~rc3/opam create mode 100644 packages/opam-installer.2.1.0~rc3/opam create mode 100644 packages/opam-repository.2.1.0~rc3/opam create mode 100644 packages/opam-solver.2.1.0~rc3/opam create mode 100644 packages/opam-state.2.1.0~rc3/opam diff --git a/packages/opam-client.2.1.0~rc3/opam b/packages/opam-client.2.1.0~rc3/opam new file mode 100644 index 0000000..90de803 --- /dev/null +++ b/packages/opam-client.2.1.0~rc3/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +synopsis: "Client library for opam 2.1" +description: + "Actions on the opam root, switches, installations, and front-end." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" +homepage: "https://opam.ocaml.org" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-state" {= version} + "opam-solver" {= version} + "extlib" {>= "1.7.3" & < "1.7.8"} + "opam-repository" {= version} + "re" {>= "1.9.0"} + "cmdliner" {>= "1.0.0"} + "dune" {>= "1.11.0"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/ocaml/opam.git" +url { + src: "https://github.com/ocaml/opam/archive/2.1.0-rc2.tar.gz" + checksum: [ + "md5=5eaab63268be06e2b10e97f7005f6c91" + "sha512=77ce2b6a79d57a6a51c76cc8e94ade0749c7bc5aca5237921361fd5909dd678b71a8e29a5af2460dafea2b4c558ed0484cbc4d1bbe1914f51b21a61320c95b96" + ] +} \ No newline at end of file diff --git a/packages/opam-core.2.1.0~rc2/opam b/packages/opam-core.2.1.0~rc3/opam similarity index 100% rename from packages/opam-core.2.1.0~rc2/opam rename to packages/opam-core.2.1.0~rc3/opam diff --git a/packages/opam-format.2.1.0~rc3/opam b/packages/opam-format.2.1.0~rc3/opam new file mode 100644 index 0000000..c59d448 --- /dev/null +++ b/packages/opam-format.2.1.0~rc3/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +synopsis: "Format library for opam 2.1" +description: "Definition of opam datastructures and its file interface." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" +homepage: "https://opam.ocaml.org" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-core" {= version} + "opam-file-format" {>= "2.1.3"} + "re" {>= "1.9.0"} + "dune" {>= "1.11.0"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/ocaml/opam.git" +url { + src: "https://github.com/ocaml/opam/archive/2.1.0-rc2.tar.gz" + checksum: [ + "md5=5eaab63268be06e2b10e97f7005f6c91" + "sha512=77ce2b6a79d57a6a51c76cc8e94ade0749c7bc5aca5237921361fd5909dd678b71a8e29a5af2460dafea2b4c558ed0484cbc4d1bbe1914f51b21a61320c95b96" + ] +} \ No newline at end of file diff --git a/packages/opam-installer.2.1.0~rc3/opam b/packages/opam-installer.2.1.0~rc3/opam new file mode 100644 index 0000000..105c137 --- /dev/null +++ b/packages/opam-installer.2.1.0~rc3/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +synopsis: "Installation of files to a prefix, following opam conventions" +description: """\ +opam-installer is a small tool that can read *.install files, as defined by opam [1], and execute them to install or remove package files without going through opam. + +[1] http://opam.ocaml.org/doc/2.0/Manual.html#lt-pkgname-gt-install""" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" +homepage: "https://opam.ocaml.org" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-format" {= version} + "cmdliner" {>= "0.9.8"} + "dune" {>= "1.11.0"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/ocaml/opam.git" +url { + src: "https://github.com/ocaml/opam/archive/2.1.0-rc2.tar.gz" + checksum: [ + "md5=5eaab63268be06e2b10e97f7005f6c91" + "sha512=77ce2b6a79d57a6a51c76cc8e94ade0749c7bc5aca5237921361fd5909dd678b71a8e29a5af2460dafea2b4c558ed0484cbc4d1bbe1914f51b21a61320c95b96" + ] +} \ No newline at end of file diff --git a/packages/opam-repository.2.1.0~rc3/opam b/packages/opam-repository.2.1.0~rc3/opam new file mode 100644 index 0000000..c5e81fd --- /dev/null +++ b/packages/opam-repository.2.1.0~rc3/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +synopsis: "Repository library for opam 2.1" +description: + "This library includes repository and remote sources handling, including curl/wget, rsync, git, mercurial, darcs backends." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" +homepage: "https://opam.ocaml.org" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-format" {= version} + "dune" {>= "1.11.0"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/ocaml/opam.git" +url { + src: "https://github.com/ocaml/opam/archive/2.1.0-rc2.tar.gz" + checksum: [ + "md5=5eaab63268be06e2b10e97f7005f6c91" + "sha512=77ce2b6a79d57a6a51c76cc8e94ade0749c7bc5aca5237921361fd5909dd678b71a8e29a5af2460dafea2b4c558ed0484cbc4d1bbe1914f51b21a61320c95b96" + ] +} \ No newline at end of file diff --git a/packages/opam-solver.2.1.0~rc3/opam b/packages/opam-solver.2.1.0~rc3/opam new file mode 100644 index 0000000..1014b76 --- /dev/null +++ b/packages/opam-solver.2.1.0~rc3/opam @@ -0,0 +1,45 @@ +opam-version: "2.0" +synopsis: "Solver library for opam 2.1" +description: + "Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" +homepage: "https://opam.ocaml.org" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-format" {= version} + "mccs" {>= "1.1+9"} + "dose3" {>= "5" & < "6.0"} + "cudf" {>= "0.7"} + "dune" {>= "1.11.0"} +] +depopts: ["z3" "opam-0install-cudf"] +conflicts: [ + "z3" {< "4.8.4"} + "opam-0install-cudf" {< "0.4"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/ocaml/opam.git" +url { + src: "https://github.com/ocaml/opam/archive/2.1.0-rc2.tar.gz" + checksum: [ + "md5=5eaab63268be06e2b10e97f7005f6c91" + "sha512=77ce2b6a79d57a6a51c76cc8e94ade0749c7bc5aca5237921361fd5909dd678b71a8e29a5af2460dafea2b4c558ed0484cbc4d1bbe1914f51b21a61320c95b96" + ] +} \ No newline at end of file diff --git a/packages/opam-state.2.1.0~rc3/opam b/packages/opam-state.2.1.0~rc3/opam new file mode 100644 index 0000000..496f83e --- /dev/null +++ b/packages/opam-state.2.1.0~rc3/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +synopsis: "State library for opam 2.1" +description: + "Handling of the ~/.opam hierarchy, repository and switch states." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" +homepage: "https://opam.ocaml.org" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-repository" {= version} + "dune" {>= "1.11.0"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/ocaml/opam.git" +url { + src: "https://github.com/ocaml/opam/archive/2.1.0-rc2.tar.gz" + checksum: [ + "md5=5eaab63268be06e2b10e97f7005f6c91" + "sha512=77ce2b6a79d57a6a51c76cc8e94ade0749c7bc5aca5237921361fd5909dd678b71a8e29a5af2460dafea2b4c558ed0484cbc4d1bbe1914f51b21a61320c95b96" + ] +} \ No newline at end of file