update orb.opam from upstream (opam 2.1.1 is good)
This commit is contained in:
parent
cf4596b749
commit
e2899ca599
8 changed files with 6 additions and 283 deletions
42
packages/opam-client.2.1.99/opam
vendored
42
packages/opam-client.2.1.99/opam
vendored
|
@ -1,42 +0,0 @@
|
||||||
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}
|
|
||||||
"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.tar.gz"
|
|
||||||
checksum: [
|
|
||||||
"md5=c48e9f56ad418827e3af37d2415213a4"
|
|
||||||
"sha512=c0060e609c49a12dc8f64accef990aa593db818b72df3984fb9b4b22d8678b46c515916c84134a62dab614c716b61788eadc954d295f32c1f27d38aec22b3edf"
|
|
||||||
]
|
|
||||||
}
|
|
38
packages/opam-core.2.1.99/opam
vendored
38
packages/opam-core.2.1.99/opam
vendored
|
@ -1,38 +0,0 @@
|
||||||
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: "git+https://github.com/roburio/opam.git#no-unix-environment-at-top-level"
|
|
||||||
}
|
|
38
packages/opam-format.2.1.99/opam
vendored
38
packages/opam-format.2.1.99/opam
vendored
|
@ -1,38 +0,0 @@
|
||||||
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.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.tar.gz"
|
|
||||||
checksum: [
|
|
||||||
"md5=c48e9f56ad418827e3af37d2415213a4"
|
|
||||||
"sha512=c0060e609c49a12dc8f64accef990aa593db818b72df3984fb9b4b22d8678b46c515916c84134a62dab614c716b61788eadc954d295f32c1f27d38aec22b3edf"
|
|
||||||
]
|
|
||||||
}
|
|
40
packages/opam-installer.2.1.99/opam
vendored
40
packages/opam-installer.2.1.99/opam
vendored
|
@ -1,40 +0,0 @@
|
||||||
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/2.1.0.tar.gz"
|
|
||||||
checksum: [
|
|
||||||
"md5=c48e9f56ad418827e3af37d2415213a4"
|
|
||||||
"sha512=c0060e609c49a12dc8f64accef990aa593db818b72df3984fb9b4b22d8678b46c515916c84134a62dab614c716b61788eadc954d295f32c1f27d38aec22b3edf"
|
|
||||||
]
|
|
||||||
}
|
|
37
packages/opam-repository.2.1.99/opam
vendored
37
packages/opam-repository.2.1.99/opam
vendored
|
@ -1,37 +0,0 @@
|
||||||
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/2.1.0.tar.gz"
|
|
||||||
checksum: [
|
|
||||||
"md5=c48e9f56ad418827e3af37d2415213a4"
|
|
||||||
"sha512=c0060e609c49a12dc8f64accef990aa593db818b72df3984fb9b4b22d8678b46c515916c84134a62dab614c716b61788eadc954d295f32c1f27d38aec22b3edf"
|
|
||||||
]
|
|
||||||
}
|
|
45
packages/opam-solver.2.1.99/opam
vendored
45
packages/opam-solver.2.1.99/opam
vendored
|
@ -1,45 +0,0 @@
|
||||||
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+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.tar.gz"
|
|
||||||
checksum: [
|
|
||||||
"md5=c48e9f56ad418827e3af37d2415213a4"
|
|
||||||
"sha512=c0060e609c49a12dc8f64accef990aa593db818b72df3984fb9b4b22d8678b46c515916c84134a62dab614c716b61788eadc954d295f32c1f27d38aec22b3edf"
|
|
||||||
]
|
|
||||||
}
|
|
37
packages/opam-state.2.1.99/opam
vendored
37
packages/opam-state.2.1.99/opam
vendored
|
@ -1,37 +0,0 @@
|
||||||
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/2.1.0.tar.gz"
|
|
||||||
checksum: [
|
|
||||||
"md5=c48e9f56ad418827e3af37d2415213a4"
|
|
||||||
"sha512=c0060e609c49a12dc8f64accef990aa593db818b72df3984fb9b4b22d8678b46c515916c84134a62dab614c716b61788eadc954d295f32c1f27d38aec22b3edf"
|
|
||||||
]
|
|
||||||
}
|
|
|
@ -9,12 +9,12 @@ depends: [
|
||||||
"ocaml" {>= "4.05.0"}
|
"ocaml" {>= "4.05.0"}
|
||||||
"dune" {>= "2.0"}
|
"dune" {>= "2.0"}
|
||||||
"cmdliner" {>= "1.0"}
|
"cmdliner" {>= "1.0"}
|
||||||
"opam-client" {>= "2.1.99"}
|
"opam-client" {>= "2.1.1"}
|
||||||
"opam-repository" {>= "2.1.99"}
|
"opam-repository" {>= "2.1.1"}
|
||||||
"opam-core" {>= "2.1.99"}
|
"opam-core" {>= "2.1.1"}
|
||||||
"opam-format" {>= "2.1.99"}
|
"opam-format" {>= "2.1.1"}
|
||||||
"opam-solver" {>= "2.1.99"}
|
"opam-solver" {>= "2.1.1"}
|
||||||
"opam-state" {>= "2.1.99"}
|
"opam-state" {>= "2.1.1"}
|
||||||
]
|
]
|
||||||
build: [
|
build: [
|
||||||
["dune" "subst"] {dev}
|
["dune" "subst"] {dev}
|
||||||
|
|
Loading…
Reference in a new issue