Skip to content

Commit

Permalink
Merge pull request #22051 from ejgallego/ppx_import_2.0
Browse files Browse the repository at this point in the history 
[ppx_import] [rev-deps] Add ppx_import < 2.0 constraint to all its deps.
  • Loading branch information
@kit-ty-kate
kit-ty-kate committed Sep 1, 2022
2 parents ed966e5 + f7d32d3 commit 418227c
Show file tree
Hide file tree
Showing 68 changed files with 68 additions and 68 deletions.
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.10.0+0.7.0/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.11.0" & < "v0.15" }
"dune" { >= "1.2.0" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.11.0" & < "v0.15" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.10.0+0.7.1/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.11.0" }
"dune" { >= "1.4.0" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.11.0" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.10.0+0.7.2/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.11.0" }
"dune" { >= "1.4.0" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.11.0" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.11.0+0.11.0/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.11.0" }
"dune" { >= "1.2.0" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.11.0" & < "v0.15" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.14" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.12.0+0.12.0/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.14" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.12.0+0.12.1/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.15" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.13.0+0.13.0/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.15" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.13.0+0.13.1/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.15" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.14.0+0.14.0/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.15" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.15" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.15.0+0.15.1/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.15" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.15.0+0.15.2/opam
View file
Expand Up @@ -29,7 +29,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { >= "4.2.1" }
"ppx_sexp_conv" { >= "v0.13.0" }
"yojson" { >= "1.7.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.7.1+0.4.1/opam
View file
Expand Up @@ -12,7 +12,7 @@ depends: [
"camlp5"
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"cmdliner" {>= "0.9.6" & < "1.1.0" }
"sexplib"
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.7.1+0.4.12/opam
View file
Expand Up @@ -14,7 +14,7 @@ depends: [
"sexplib"
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_driver" {build & >= "v0.10.1"}
"ppx_sexp_conv" {< "v0.11.0"}
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.7.1+0.4.2/opam
View file
Expand Up @@ -14,7 +14,7 @@ depends: [
"sexplib"
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_driver" {build & >= "v0.10.1"}
"ppx_sexp_conv" {< "v0.11.0"}
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.7.1+0.4.8/opam
View file
Expand Up @@ -14,7 +14,7 @@ depends: [
"sexplib"
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_driver" {build & >= "v0.10.1"}
"ppx_sexp_conv" {< "v0.11.0"}
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.7.1+0.4/opam
View file
Expand Up @@ -12,7 +12,7 @@ depends: [
"camlp5"
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"cmdliner" {>= "0.9.6" & < "1.1.0"}
"sexplib"
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.7.2+0.4.13/opam
View file
Expand Up @@ -14,7 +14,7 @@ depends: [
"sexplib" {< "v0.13"}
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.8.0+0.5.1/opam
View file
Expand Up @@ -14,7 +14,7 @@ depends: [
"sexplib" {< "v0.13"}
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.8.0+0.5.2/opam
View file
Expand Up @@ -14,7 +14,7 @@ depends: [
"sexplib" {< "v0.13"}
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.8.0+0.5.3/opam
View file
Expand Up @@ -14,7 +14,7 @@ depends: [
"sexplib" {< "v0.13"}
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.8.0+0.5.4/opam
View file
Expand Up @@ -15,7 +15,7 @@ depends: [
"sexplib" {< "v0.13"}
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.8.0+0.5.5/opam
View file
Expand Up @@ -15,7 +15,7 @@ depends: [
"sexplib" {< "v0.13"}
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.8.0+0.5.6/opam
View file
Expand Up @@ -15,7 +15,7 @@ depends: [
"sexplib" {< "v0.13"}
"ocamlfind" {build}
"ocamlbuild" {build}
"ppx_import" {>= "1.4"}
"ppx_import" {>= "1.4" & < "2.0"}
"ppx_deriving" {>= "4.2.1"}
"ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}
]
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.9.0+0.6.0/opam
View file
Expand Up @@ -16,7 +16,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.11.0" & < "v0.15" }
"dune" { >= "1.2.0" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { build & >= "4.2.1" }
"ppx_sexp_conv" { build & >= "v0.11.0" & < "v0.15" }
]
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.9.0+0.6.1/opam
View file
Expand Up @@ -16,7 +16,7 @@ depends: [
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.11.0" & < "v0.15" }
"dune" { >= "1.2.0" }
"ppx_import" { build & >= "1.5-3" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { build & >= "4.2.1" }
"ppx_sexp_conv" { build & >= "v0.11.0" & < "v0.15" }
]
Expand Down
2 changes: 1 addition & 1 deletion packages/elpi/elpi.1.10.0/opam
View file
Expand Up @@ -24,7 +24,7 @@ depends: [
"cmdliner" {with-test}
"dune" {>= "1.6"}
"conf-time" {with-test}
"ppx_import" {with-test}
"ppx_import" {with-test & < "2.0"}
]
synopsis: "ELPI - Embeddable λProlog Interpreter"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/elpi/elpi.1.10.1/opam
View file
Expand Up @@ -24,7 +24,7 @@ depends: [
"cmdliner" {with-test}
"dune" {>= "1.6"}
"conf-time" {with-test}
"ppx_import" {with-test}
"ppx_import" {with-test & < "2.0"}
]
synopsis: "ELPI - Embeddable λProlog Interpreter"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/elpi/elpi.1.10.2/opam
View file
Expand Up @@ -24,7 +24,7 @@ depends: [
"cmdliner" {with-test}
"dune" {>= "1.6"}
"conf-time" {with-test}
"ppx_import" {with-test}
"ppx_import" {with-test & < "2.0"}
]
synopsis: "ELPI - Embeddable λProlog Interpreter"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/frama-c/frama-c.25.0/opam
View file
Expand Up @@ -120,7 +120,7 @@ depends: [
"ocamlgraph" { >= "1.8.8" }
"ppx_deriving"
"ppx_deriving_yojson"
"ppx_import" {>= "1.8.0"}
"ppx_import" {>= "1.8.0" & < "2.0"}
"why3" { >= "1.5.0" }
"yojson" {>= "1.6.0" & ( < "2.0.0" | ! with-test) }
"zarith" {>= "1.5"}
Expand Down
2 changes: 1 addition & 1 deletion packages/frama-c/frama-c.25.0~beta/opam
View file
Expand Up @@ -122,7 +122,7 @@ depends: [
"yojson" {>= "1.6.0"}
"zarith" {>= "1.5"}
"ppx_deriving"
"ppx_import" {>= "1.8.0"}
"ppx_import" {>= "1.8.0" & < "2.0"}
]

conflicts: [
Expand Down
2 changes: 1 addition & 1 deletion packages/goblint/goblint.1.0.0/opam
View file
Expand Up @@ -21,7 +21,7 @@ depends: [
"xml-light" {build}
"ppx_distr_guards"
"ppx_monadic"
"ppx_import"
"ppx_import" {< "2.0"}
"ppx_deriving"
"ppx_deriving_yojson"
"yojson" {< "1.6.0"}
Expand Down
2 changes: 1 addition & 1 deletion packages/modelica_ml/modelica_ml.0.2.0/opam
View file
Expand Up @@ -20,7 +20,7 @@ depends: [
"ocamlgraph"
"ppx_deriving" {= "1.0"}
"ppx_deriving_yojson" {= "2.0"}
"ppx_import"
"ppx_import" {< "2.0"}
"ppx_monadic"
"sedlex"
"ocamlbuild" {build}
Expand Down
2 changes: 1 addition & 1 deletion packages/pa_ppx/pa_ppx.0.01/opam
View file
Expand Up @@ -43,7 +43,7 @@ depends: [
"ppx_deriving_protobuf" { >= "2.7" }
"uint" { >= "2.0.1" }
"ounit2" { >= "2.2.3" }
"ppx_import" { >= "1.7.1" }
"ppx_import" {>= "1.7.1" & < "2.0"}
"ppx_deriving_yojson" { >= "3.5.2" }
"ppx_here" { >= "v0.13.0" }
"ppx_sexp_conv" { >= "v0.13.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/pa_ppx/pa_ppx.0.02/opam
View file
Expand Up @@ -38,7 +38,7 @@ depends: [
"ppx_deriving_protobuf" {>= "2.7"}
"uint" {>= "2.0.1"}
"ounit2" {>= "2.2.3"}
"ppx_import" {>= "1.7.1"}
"ppx_import" {>= "1.7.1" & < "2.0"}
"ppx_deriving_yojson" {>= "3.5.2"}
"ppx_here" {>= "v0.13.0"}
"ppx_sexp_conv" {>= "v0.13.0"}
Expand Down
2 changes: 1 addition & 1 deletion packages/pa_ppx/pa_ppx.0.03/opam
View file
Expand Up @@ -45,7 +45,7 @@ depends: [
"sexplib"
"ppx_deriving_protobuf" { >= "2.7" }
"uint" { >= "2.0.1" }
"ppx_import" { with-test & >= "1.7.1" }
"ppx_import" {with-test & >= "1.7.1" & < "2.0"}
"ppx_deriving_yojson" { with-test & >= "3.5.2" }
"ppx_here" { with-test & >= "v0.13.0" }
"ppx_sexp_conv" { with-test & >= "v0.13.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.0.0/opam
View file
Expand Up @@ -23,7 +23,7 @@ depends: [
"cppo" {build}
"cppo_ocamlbuild" {build}
"alcotest" {with-test}
"ppx_import" {with-test & >= "1.1"}
"ppx_import" {with-test & >= "1.1" & < "2.0"}
]
synopsis: "Cmdliner.Term.t generator"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.2.0/opam
View file
Expand Up @@ -23,7 +23,7 @@ depends: [
"cppo" {build}
"cppo_ocamlbuild" {build}
"alcotest" {with-test}
"ppx_import" {with-test & >= "1.1"}
"ppx_import" {with-test & >= "1.1" & < "2.0"}
]
synopsis: "Cmdliner.Term.t generator"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.3.1/opam
View file
Expand Up @@ -23,7 +23,7 @@ depends: [
"cppo" {build}
"cppo_ocamlbuild" {build}
"alcotest" {with-test}
"ppx_import" {with-test & >= "1.1"}
"ppx_import" {with-test & >= "1.1" & < "2.0"}
]
synopsis: "Cmdliner.Term.t generator"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.4.0/opam
View file
Expand Up @@ -23,7 +23,7 @@ depends: [
"cppo" {build}
"cppo_ocamlbuild" {build}
"alcotest" {with-test}
"ppx_import" {with-test & >= "1.1"}
"ppx_import" {with-test & >= "1.1" & < "2.0"}
]
synopsis: "Cmdliner.Term.t generator"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.4.1/opam
View file
Expand Up @@ -30,7 +30,7 @@ depends: [
"ppxfind" {build}
"cppo" {build}
"alcotest" {with-test}
"ppx_import" {with-test & >= "1.1"}
"ppx_import" {with-test & >= "1.1" & < "2.0"}
]
synopsis: "Cmdliner.Term.t generator"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.5.1/opam
View file
Expand Up @@ -30,7 +30,7 @@ depends: [
"ppxfind" {build}
"cppo" {build}
"alcotest" {with-test}
"ppx_import" {with-test & >= "1.1"}
"ppx_import" {with-test & >= "1.1" & < "2.0"}
]
synopsis: "Cmdliner.Term.t generator"
description: """
Expand Down
2 changes: 1 addition & 1 deletion packages/ppx_deriving_morphism/ppx_deriving_morphism.0.1/opam
View file
Expand Up @@ -27,7 +27,7 @@ depends: [
"ppx_deriving" {>= "3.0" & < "4.0"}
"ocamlfind" {build}
"ounit" {with-test}
"ppx_import" {with-test}
"ppx_import" {with-test & < "2.0"}
"ocamlbuild" {build}
]
synopsis: "Morphism generator for OCaml >=4.02"
Expand Down

0 comments on commit 418227c

Please sign in to comment.