-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #25891 from kit-ty-kate/opam-publish-opam.2.1.6
8 packages from ocaml/opam at 2.1.6
- Loading branch information
Showing
8 changed files
with
329 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 <vb@luminar.eu.org>" | ||
| "Raja Boujbel <raja.boujbel@ocamlpro.com>" | ||
| "Roberto Di Cosmo <roberto@dicosmo.org>" | ||
| "Thomas Gazagnaire <thomas@gazagnaire.org>" | ||
| "Louis Gesbert <louis.gesbert@ocamlpro.com>" | ||
| "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>" | ||
| "Anil Madhavapeddy <anil@recoil.org>" | ||
| "Guillem Rieu <guillem.rieu@ocamlpro.com>" | ||
| "Ralf Treinen <ralf.treinen@pps.jussieu.fr>" | ||
| "Frederic Tuong <tuong@users.gforge.inria.fr>" | ||
| ] | ||
| 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} | ||
| ("base64" {>= "3.1.0"} | "base64" & "ocaml" {= "4.02.3"}) | ||
| "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/refs/tags/2.1.6.tar.gz" | ||
| checksum: [ | ||
| "md5=6f69e91a0535297272127e184c314272" | ||
| "sha512=f75d81b4eb19ef6603e7a2a18e1a281ea6f5eea47b820ae888593102db5b98ded5b593b176e70235611b63a07f4a406a57fe016386f4e921f51b55eb62b9864d" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,42 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Core library for opam 2.1" | ||
| description: | ||
| "Small standard library extensions, and generic system interaction modules used by opam." | ||
| maintainer: "opam-devel@lists.ocaml.org" | ||
| authors: [ | ||
| "Vincent Bernardoff <vb@luminar.eu.org>" | ||
| "Raja Boujbel <raja.boujbel@ocamlpro.com>" | ||
| "Roberto Di Cosmo <roberto@dicosmo.org>" | ||
| "Thomas Gazagnaire <thomas@gazagnaire.org>" | ||
| "Louis Gesbert <louis.gesbert@ocamlpro.com>" | ||
| "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>" | ||
| "Anil Madhavapeddy <anil@recoil.org>" | ||
| "Guillem Rieu <guillem.rieu@ocamlpro.com>" | ||
| "Ralf Treinen <ralf.treinen@pps.jussieu.fr>" | ||
| "Frederic Tuong <tuong@users.gforge.inria.fr>" | ||
| ] | ||
| 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"} | ||
| "base-unix" | ||
| "base-bigarray" | ||
| "ocamlgraph" | ||
| "re" {>= "1.9.0"} | ||
| "dune" {>= "1.11.0"} | ||
| "cppo" {build & >= "1.1.0"} | ||
| ] | ||
| conflicts: ["extlib-compat"] | ||
| 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.1.6.tar.gz" | ||
| checksum: [ | ||
| "md5=6f69e91a0535297272127e184c314272" | ||
| "sha512=f75d81b4eb19ef6603e7a2a18e1a281ea6f5eea47b820ae888593102db5b98ded5b593b176e70235611b63a07f4a406a57fe016386f4e921f51b55eb62b9864d" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,48 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Bootstrapped development binary for opam 2.1" | ||
| 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: [ | ||
| "Vincent Bernardoff <vb@luminar.eu.org>" | ||
| "Raja Boujbel <raja.boujbel@ocamlpro.com>" | ||
| "Roberto Di Cosmo <roberto@dicosmo.org>" | ||
| "Thomas Gazagnaire <thomas@gazagnaire.org>" | ||
| "Louis Gesbert <louis.gesbert@ocamlpro.com>" | ||
| "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>" | ||
| "Anil Madhavapeddy <anil@recoil.org>" | ||
| "Guillem Rieu <guillem.rieu@ocamlpro.com>" | ||
| "Ralf Treinen <ralf.treinen@pps.jussieu.fr>" | ||
| "Frederic Tuong <tuong@users.gforge.inria.fr>" | ||
| ] | ||
| 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-client" {= version} | ||
| "cmdliner" {>= "0.9.8"} | ||
| "dune" {>= "1.11.0"} | ||
| "conf-openssl" {with-test} | ||
| "conf-diffutils" {with-test} | ||
| ] | ||
| 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.1.6.tar.gz" | ||
| checksum: [ | ||
| "md5=6f69e91a0535297272127e184c314272" | ||
| "sha512=f75d81b4eb19ef6603e7a2a18e1a281ea6f5eea47b820ae888593102db5b98ded5b593b176e70235611b63a07f4a406a57fe016386f4e921f51b55eb62b9864d" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 <vb@luminar.eu.org>" | ||
| "Raja Boujbel <raja.boujbel@ocamlpro.com>" | ||
| "Roberto Di Cosmo <roberto@dicosmo.org>" | ||
| "Thomas Gazagnaire <thomas@gazagnaire.org>" | ||
| "Louis Gesbert <louis.gesbert@ocamlpro.com>" | ||
| "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>" | ||
| "Anil Madhavapeddy <anil@recoil.org>" | ||
| "Guillem Rieu <guillem.rieu@ocamlpro.com>" | ||
| "Ralf Treinen <ralf.treinen@pps.jussieu.fr>" | ||
| "Frederic Tuong <tuong@users.gforge.inria.fr>" | ||
| ] | ||
| 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.4"} | ||
| "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/refs/tags/2.1.6.tar.gz" | ||
| checksum: [ | ||
| "md5=6f69e91a0535297272127e184c314272" | ||
| "sha512=f75d81b4eb19ef6603e7a2a18e1a281ea6f5eea47b820ae888593102db5b98ded5b593b176e70235611b63a07f4a406a57fe016386f4e921f51b55eb62b9864d" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 <vb@luminar.eu.org>" | ||
| "Raja Boujbel <raja.boujbel@ocamlpro.com>" | ||
| "Roberto Di Cosmo <roberto@dicosmo.org>" | ||
| "Thomas Gazagnaire <thomas@gazagnaire.org>" | ||
| "Louis Gesbert <louis.gesbert@ocamlpro.com>" | ||
| "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>" | ||
| "Anil Madhavapeddy <anil@recoil.org>" | ||
| "Guillem Rieu <guillem.rieu@ocamlpro.com>" | ||
| "Ralf Treinen <ralf.treinen@pps.jussieu.fr>" | ||
| "Frederic Tuong <tuong@users.gforge.inria.fr>" | ||
| ] | ||
| 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/refs/tags/2.1.6.tar.gz" | ||
| checksum: [ | ||
| "md5=6f69e91a0535297272127e184c314272" | ||
| "sha512=f75d81b4eb19ef6603e7a2a18e1a281ea6f5eea47b820ae888593102db5b98ded5b593b176e70235611b63a07f4a406a57fe016386f4e921f51b55eb62b9864d" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 <vb@luminar.eu.org>" | ||
| "Raja Boujbel <raja.boujbel@ocamlpro.com>" | ||
| "Roberto Di Cosmo <roberto@dicosmo.org>" | ||
| "Thomas Gazagnaire <thomas@gazagnaire.org>" | ||
| "Louis Gesbert <louis.gesbert@ocamlpro.com>" | ||
| "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>" | ||
| "Anil Madhavapeddy <anil@recoil.org>" | ||
| "Guillem Rieu <guillem.rieu@ocamlpro.com>" | ||
| "Ralf Treinen <ralf.treinen@pps.jussieu.fr>" | ||
| "Frederic Tuong <tuong@users.gforge.inria.fr>" | ||
| ] | ||
| 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/refs/tags/2.1.6.tar.gz" | ||
| checksum: [ | ||
| "md5=6f69e91a0535297272127e184c314272" | ||
| "sha512=f75d81b4eb19ef6603e7a2a18e1a281ea6f5eea47b820ae888593102db5b98ded5b593b176e70235611b63a07f4a406a57fe016386f4e921f51b55eb62b9864d" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 <vb@luminar.eu.org>" | ||
| "Raja Boujbel <raja.boujbel@ocamlpro.com>" | ||
| "Roberto Di Cosmo <roberto@dicosmo.org>" | ||
| "Thomas Gazagnaire <thomas@gazagnaire.org>" | ||
| "Louis Gesbert <louis.gesbert@ocamlpro.com>" | ||
| "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>" | ||
| "Anil Madhavapeddy <anil@recoil.org>" | ||
| "Guillem Rieu <guillem.rieu@ocamlpro.com>" | ||
| "Ralf Treinen <ralf.treinen@pps.jussieu.fr>" | ||
| "Frederic Tuong <tuong@users.gforge.inria.fr>" | ||
| ] | ||
| 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+17"} | ||
| ("dose3" {>= "6.1"} | "dose3" {>= "5"} & "ocaml" {= "4.02.3"}) | ||
| "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/refs/tags/2.1.6.tar.gz" | ||
| checksum: [ | ||
| "md5=6f69e91a0535297272127e184c314272" | ||
| "sha512=f75d81b4eb19ef6603e7a2a18e1a281ea6f5eea47b820ae888593102db5b98ded5b593b176e70235611b63a07f4a406a57fe016386f4e921f51b55eb62b9864d" | ||
| ] | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 <vb@luminar.eu.org>" | ||
| "Raja Boujbel <raja.boujbel@ocamlpro.com>" | ||
| "Roberto Di Cosmo <roberto@dicosmo.org>" | ||
| "Thomas Gazagnaire <thomas@gazagnaire.org>" | ||
| "Louis Gesbert <louis.gesbert@ocamlpro.com>" | ||
| "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>" | ||
| "Anil Madhavapeddy <anil@recoil.org>" | ||
| "Guillem Rieu <guillem.rieu@ocamlpro.com>" | ||
| "Ralf Treinen <ralf.treinen@pps.jussieu.fr>" | ||
| "Frederic Tuong <tuong@users.gforge.inria.fr>" | ||
| ] | ||
| 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/refs/tags/2.1.6.tar.gz" | ||
| checksum: [ | ||
| "md5=6f69e91a0535297272127e184c314272" | ||
| "sha512=f75d81b4eb19ef6603e7a2a18e1a281ea6f5eea47b820ae888593102db5b98ded5b593b176e70235611b63a07f4a406a57fe016386f4e921f51b55eb62b9864d" | ||
| ] | ||
| } |