Merge pull request #27647 from bclement-ocp/alt-ergo-cmdliner-1

mseri · web-flow · commit dbbbf45db325 · 2025-03-19T17:44:14.000+01:00
Mark alt-ergo as incompatible with cmdliner 2.0
diff --git a/packages/alt-ergo/alt-ergo.2.4.2/opam b/packages/alt-ergo/alt-ergo.2.4.2/opam
@@ -15,7 +15,7 @@ depends: [
   "alt-ergo-lib" {= version}
   "alt-ergo-parsers" {= version}
   "menhir"
-  "cmdliner" {>= "1.1.0"}
+  "cmdliner" {>= "1.1.0" & < "2.0"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
diff --git a/packages/alt-ergo/alt-ergo.2.4.3/opam b/packages/alt-ergo/alt-ergo.2.4.3/opam
@@ -16,7 +16,7 @@ depends: [
   "alt-ergo-lib" {= version}
   "alt-ergo-parsers" {= version}
   "menhir"
-  "cmdliner" {>= "1.1.0"}
+  "cmdliner" {>= "1.1.0" & < "2.0"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
diff --git a/packages/alt-ergo/alt-ergo.2.5.0/opam b/packages/alt-ergo/alt-ergo.2.5.0/opam
@@ -18,7 +18,7 @@ depends: [
   "alt-ergo-parsers" {= version}
   "menhir"
   "dune-site"
-  "cmdliner" {>= "1.1.0"}
+  "cmdliner" {>= "1.1.0" & < "2.0"}
   "odoc" {with-doc}
 ]
 conflicts: [
diff --git a/packages/alt-ergo/alt-ergo.2.5.1/opam b/packages/alt-ergo/alt-ergo.2.5.1/opam
@@ -16,7 +16,7 @@ depends: [
   "alt-ergo-parsers" {= version}
   "menhir"
   "dune-site"
-  "cmdliner" {>= "1.1.0"}
+  "cmdliner" {>= "1.1.0" & < "2.0"}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/packages/alt-ergo/alt-ergo.2.5.2/opam b/packages/alt-ergo/alt-ergo.2.5.2/opam
@@ -16,7 +16,7 @@ depends: [
   "alt-ergo-parsers" {= version}
   "menhir"
   "dune-site"
-  "cmdliner" {>= "1.1.0"}
+  "cmdliner" {>= "1.1.0" & < "2.0"}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/packages/alt-ergo/alt-ergo.2.5.3/opam b/packages/alt-ergo/alt-ergo.2.5.3/opam
@@ -16,7 +16,7 @@ depends: [
   "alt-ergo-parsers" {= version}
   "menhir"
   "dune-site"
-  "cmdliner" {>= "1.1.0"}
+  "cmdliner" {>= "1.1.0" & < "2.0"}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/packages/alt-ergo/alt-ergo.2.5.4/opam b/packages/alt-ergo/alt-ergo.2.5.4/opam
@@ -16,7 +16,7 @@ depends: [
   "alt-ergo-parsers" {= version}
   "menhir"
   "dune-site"
-  "cmdliner" {>= "1.1.0"}
+  "cmdliner" {>= "1.1.0" & < "2.0"}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/packages/alt-ergo/alt-ergo.2.6.0/opam b/packages/alt-ergo/alt-ergo.2.6.0/opam
@@ -16,7 +16,7 @@ depends: [
   "alt-ergo-parsers" {= version}
   "menhir"
   "dune-site"
-  "cmdliner" {>= "1.1.0"}
+  "cmdliner" {>= "1.1.0" & < "2.0"}
   "odoc" {with-doc}
 ]
 build: [

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ depends: [`
`15`	`15`	`"alt-ergo-lib" {= version}`
`16`	`16`	`"alt-ergo-parsers" {= version}`
`17`	`17`	`"menhir"`
`18`		`- "cmdliner" {>= "1.1.0"}`
	`18`	`+ "cmdliner" {>= "1.1.0" & < "2.0"}`
`19`	`19`	`"odoc" {with-doc}`
`20`	`20`	`]`
`21`	`21`	`dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"`
Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ depends: [`
`16`	`16`	`"alt-ergo-lib" {= version}`
`17`	`17`	`"alt-ergo-parsers" {= version}`
`18`	`18`	`"menhir"`
`19`		`- "cmdliner" {>= "1.1.0"}`
	`19`	`+ "cmdliner" {>= "1.1.0" & < "2.0"}`
`20`	`20`	`"odoc" {with-doc}`
`21`	`21`	`]`
`22`	`22`	`dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"`
Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,7 @@ depends: [`
`18`	`18`	`"alt-ergo-parsers" {= version}`
`19`	`19`	`"menhir"`
`20`	`20`	`"dune-site"`
`21`		`- "cmdliner" {>= "1.1.0"}`
	`21`	`+ "cmdliner" {>= "1.1.0" & < "2.0"}`
`22`	`22`	`"odoc" {with-doc}`
`23`	`23`	`]`
`24`	`24`	`conflicts: [`