From 6643b4b12a62bcd38151b36c048dae629b547d40 Mon Sep 17 00:00:00 2001 From: Raja Boujbel Date: Tue, 21 Oct 2025 12:55:32 +0200 Subject: [PATCH] 8 packages from ocaml/opam at 2.5.0~alpha1 --- .../opam-client/opam-client.2.5.0~alpha1/opam | 50 ++++++++++++++++ .../opam-core/opam-core.2.5.0~alpha1/opam | 57 +++++++++++++++++++ .../opam-devel/opam-devel.2.5.0~alpha1/opam | 52 +++++++++++++++++ .../opam-format/opam-format.2.5.0~alpha1/opam | 42 ++++++++++++++ .../opam-installer.2.5.0~alpha1/opam | 44 ++++++++++++++ .../opam-repository.2.5.0~alpha1/opam | 42 ++++++++++++++ .../opam-solver/opam-solver.2.5.0~alpha1/opam | 50 ++++++++++++++++ .../opam-state/opam-state.2.5.0~alpha1/opam | 44 ++++++++++++++ 8 files changed, 381 insertions(+) create mode 100644 packages/opam-client/opam-client.2.5.0~alpha1/opam create mode 100644 packages/opam-core/opam-core.2.5.0~alpha1/opam create mode 100644 packages/opam-devel/opam-devel.2.5.0~alpha1/opam create mode 100644 packages/opam-format/opam-format.2.5.0~alpha1/opam create mode 100644 packages/opam-installer/opam-installer.2.5.0~alpha1/opam create mode 100644 packages/opam-repository/opam-repository.2.5.0~alpha1/opam create mode 100644 packages/opam-solver/opam-solver.2.5.0~alpha1/opam create mode 100644 packages/opam-state/opam-state.2.5.0~alpha1/opam diff --git a/packages/opam-client/opam-client.2.5.0~alpha1/opam b/packages/opam-client/opam-client.2.5.0~alpha1/opam new file mode 100644 index 000000000000..05897a2719c2 --- /dev/null +++ b/packages/opam-client/opam-client.2.5.0~alpha1/opam @@ -0,0 +1,50 @@ +opam-version: "2.0" +synopsis: "Client library for opam 2.5" +description: + "Actions on the opam root, switches, installations, and front-end." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "David Allsopp " + "Vincent Bernardoff " + "Raja Boujbel " + "Kate Deplaix " + "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.08.0"} + "opam-state" {= version} + "opam-solver" {= version} + "base64" {>= "3.1.0"} + "opam-repository" {= version} + "re" {>= "1.10.0"} + "cmdliner" {>= "1.1.0" & < "2.0.0"} + "dune" {>= "2.8.0"} +] +conflicts: [ + "extlib" {< "1.7.8"} + "extlib-compat" +] +available: opam-version >= "2.1.0" +flags: avoid-version +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/refs/tags/2.5.0-alpha1.tar.gz" + checksum: [ + "md5=a5ac5882814d72ec3f8ed512ca9a1fe6" + "sha512=7c3a23798cad6a940f12154904144bdebf622a55c2a56e813a6bf3b180f5e5843971b21902c46547716836fd7e04c239256f8238db1b6ba049b878438fdad38f" + ] +} \ No newline at end of file diff --git a/packages/opam-core/opam-core.2.5.0~alpha1/opam b/packages/opam-core/opam-core.2.5.0~alpha1/opam new file mode 100644 index 000000000000..008e9c5d5141 --- /dev/null +++ b/packages/opam-core/opam-core.2.5.0~alpha1/opam @@ -0,0 +1,57 @@ +opam-version: "2.0" +synopsis: "Core library for opam 2.5" +description: + "Small standard library extensions, and generic system interaction modules used by opam." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "David Allsopp " + "Vincent Bernardoff " + "Raja Boujbel " + "Kate Deplaix " + "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.08.0"} + "base-unix" + "ocamlgraph" + "re" {>= "1.9.0"} + "dune" {>= "2.8.0"} + "sha" {>= "1.13"} + "jsonm" + "swhid_core" + "patch" {>= "3.0.0"} + "uutf" + (("host-system-mingw" {os = "win32" & os-distribution != "cygwinports"} & + "conf-mingw-w64-gcc-i686" + {os = "win32" & os-distribution != "cygwinports"} & + "conf-mingw-w64-gcc-x86_64" + {os = "win32" & os-distribution != "cygwinports"}) | + ("host-system-msvc" {os = "win32" & os-distribution != "cygwinports"} & + "conf-msvc32" {os = "win32" & os-distribution != "cygwinports"} & + "conf-msvc64" {os = "win32" & os-distribution != "cygwinports"})) +] +conflicts: ["extlib-compat"] +available: opam-version >= "2.1.0" +flags: avoid-version +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/refs/tags/2.5.0-alpha1.tar.gz" + checksum: [ + "md5=a5ac5882814d72ec3f8ed512ca9a1fe6" + "sha512=7c3a23798cad6a940f12154904144bdebf622a55c2a56e813a6bf3b180f5e5843971b21902c46547716836fd7e04c239256f8238db1b6ba049b878438fdad38f" + ] +} \ No newline at end of file diff --git a/packages/opam-devel/opam-devel.2.5.0~alpha1/opam b/packages/opam-devel/opam-devel.2.5.0~alpha1/opam new file mode 100644 index 000000000000..52701262ed14 --- /dev/null +++ b/packages/opam-devel/opam-devel.2.5.0~alpha1/opam @@ -0,0 +1,52 @@ +opam-version: "2.0" +synopsis: "Bootstrapped development binary for opam 2.5" +description: + "This package compiles (bootstraps) opam. For consistency and safety of the installation, the binaries are not installed into the PATH, but into lib/opam-devel, from where the user can manually install them system-wide." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "David Allsopp " + "Vincent Bernardoff " + "Raja Boujbel " + "Kate Deplaix " + "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.08.0"} + "opam-client" {= version} + "cmdliner" {>= "1.1.0" & < "2.0.0"} + "dune" {>= "2.8.0"} + "conf-openssl" {with-test} + "conf-diffutils" {with-test} +] +available: opam-version >= "2.1.0" +flags: avoid-version +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] +] +post-messages: + """\ +The development version of opam has been successfully compiled into %{lib}%/%{name}%. You should not run it from there, please install the binaries to your PATH, e.g. with + sudo cp %{lib}%/%{name}%/opam /usr/local/bin + +If you just want to give it a try without altering your current installation, you could use instead: + alias opam2="OPAMROOT=~/.opam2 %{lib}%/%{name}%/opam\"""" + {success} +dev-repo: "git+https://github.com/ocaml/opam.git" +url { + src: "https://github.com/ocaml/opam/archive/refs/tags/2.5.0-alpha1.tar.gz" + checksum: [ + "md5=a5ac5882814d72ec3f8ed512ca9a1fe6" + "sha512=7c3a23798cad6a940f12154904144bdebf622a55c2a56e813a6bf3b180f5e5843971b21902c46547716836fd7e04c239256f8238db1b6ba049b878438fdad38f" + ] +} \ No newline at end of file diff --git a/packages/opam-format/opam-format.2.5.0~alpha1/opam b/packages/opam-format/opam-format.2.5.0~alpha1/opam new file mode 100644 index 000000000000..46c8faeb04b7 --- /dev/null +++ b/packages/opam-format/opam-format.2.5.0~alpha1/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +synopsis: "Format library for opam 2.5" +description: "Definition of opam datastructures and its file interface." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "David Allsopp " + "Vincent Bernardoff " + "Raja Boujbel " + "Kate Deplaix " + "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.08.0"} + "opam-core" {= version} + "opam-file-format" {>= "2.1.4"} + "re" {>= "1.9.0"} + "dune" {>= "2.8.0"} +] +available: opam-version >= "2.1.0" +flags: avoid-version +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/refs/tags/2.5.0-alpha1.tar.gz" + checksum: [ + "md5=a5ac5882814d72ec3f8ed512ca9a1fe6" + "sha512=7c3a23798cad6a940f12154904144bdebf622a55c2a56e813a6bf3b180f5e5843971b21902c46547716836fd7e04c239256f8238db1b6ba049b878438fdad38f" + ] +} \ No newline at end of file diff --git a/packages/opam-installer/opam-installer.2.5.0~alpha1/opam b/packages/opam-installer/opam-installer.2.5.0~alpha1/opam new file mode 100644 index 000000000000..5962399a32a1 --- /dev/null +++ b/packages/opam-installer/opam-installer.2.5.0~alpha1/opam @@ -0,0 +1,44 @@ +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: [ + "David Allsopp " + "Vincent Bernardoff " + "Raja Boujbel " + "Kate Deplaix " + "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.08.0"} + "opam-format" {= version} + "cmdliner" {>= "0.9.8" & < "2.0.0"} + "dune" {>= "2.8.0"} +] +available: opam-version >= "2.1.0" +flags: avoid-version +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/refs/tags/2.5.0-alpha1.tar.gz" + checksum: [ + "md5=a5ac5882814d72ec3f8ed512ca9a1fe6" + "sha512=7c3a23798cad6a940f12154904144bdebf622a55c2a56e813a6bf3b180f5e5843971b21902c46547716836fd7e04c239256f8238db1b6ba049b878438fdad38f" + ] +} \ No newline at end of file diff --git a/packages/opam-repository/opam-repository.2.5.0~alpha1/opam b/packages/opam-repository/opam-repository.2.5.0~alpha1/opam new file mode 100644 index 000000000000..497920426800 --- /dev/null +++ b/packages/opam-repository/opam-repository.2.5.0~alpha1/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +synopsis: "Repository library for opam 2.5" +description: + "This library includes repository and remote sources handling, including curl/wget, rsync, git, mercurial, darcs backends." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "David Allsopp " + "Vincent Bernardoff " + "Raja Boujbel " + "Kate Deplaix " + "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.08.0"} + "opam-format" {= version} + "patch" {>= "3.0.0"} + "dune" {>= "2.8.0"} +] +available: opam-version >= "2.1.0" +flags: avoid-version +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/refs/tags/2.5.0-alpha1.tar.gz" + checksum: [ + "md5=a5ac5882814d72ec3f8ed512ca9a1fe6" + "sha512=7c3a23798cad6a940f12154904144bdebf622a55c2a56e813a6bf3b180f5e5843971b21902c46547716836fd7e04c239256f8238db1b6ba049b878438fdad38f" + ] +} \ No newline at end of file diff --git a/packages/opam-solver/opam-solver.2.5.0~alpha1/opam b/packages/opam-solver/opam-solver.2.5.0~alpha1/opam new file mode 100644 index 000000000000..46c60584ff28 --- /dev/null +++ b/packages/opam-solver/opam-solver.2.5.0~alpha1/opam @@ -0,0 +1,50 @@ +opam-version: "2.0" +synopsis: "Solver library for opam 2.5" +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: [ + "David Allsopp " + "Vincent Bernardoff " + "Raja Boujbel " + "Kate Deplaix " + "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.08.0"} + "opam-format" {= version} + "mccs" {>= "1.1+17"} + "dose3" {>= "6.1"} + "cudf" {>= "0.7"} + "re" {>= "1.9.0"} + "dune" {>= "2.8.0"} + "opam-0install-cudf" {>= "0.5.0"} +] +depopts: ["z3"] +conflicts: [ + "z3" {< "4.8.4"} +] +available: opam-version >= "2.1.0" +flags: avoid-version +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/refs/tags/2.5.0-alpha1.tar.gz" + checksum: [ + "md5=a5ac5882814d72ec3f8ed512ca9a1fe6" + "sha512=7c3a23798cad6a940f12154904144bdebf622a55c2a56e813a6bf3b180f5e5843971b21902c46547716836fd7e04c239256f8238db1b6ba049b878438fdad38f" + ] +} \ No newline at end of file diff --git a/packages/opam-state/opam-state.2.5.0~alpha1/opam b/packages/opam-state/opam-state.2.5.0~alpha1/opam new file mode 100644 index 000000000000..38e46e18d2e1 --- /dev/null +++ b/packages/opam-state/opam-state.2.5.0~alpha1/opam @@ -0,0 +1,44 @@ +opam-version: "2.0" +synopsis: "State library for opam 2.5" +description: + "Handling of the ~/.opam hierarchy, repository and switch states." +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "David Allsopp " + "Vincent Bernardoff " + "Raja Boujbel " + "Kate Deplaix " + "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.08.0"} + "opam-repository" {= version} + "re" {>= "1.9.0"} + "spdx_licenses" {>= "1.0.0"} + "patch" {>= "3.0.0"} + "dune" {>= "2.8.0"} +] +available: opam-version >= "2.1.0" +flags: avoid-version +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/refs/tags/2.5.0-alpha1.tar.gz" + checksum: [ + "md5=a5ac5882814d72ec3f8ed512ca9a1fe6" + "sha512=7c3a23798cad6a940f12154904144bdebf622a55c2a56e813a6bf3b180f5e5843971b21902c46547716836fd7e04c239256f8238db1b6ba049b878438fdad38f" + ] +} \ No newline at end of file