anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

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

Mark alt-ergo as incompatible with cmdliner 2.0

authored by

Marcello Seri and committed by
GitHub dbbbf45d 4010058e

+8 -8
+1 -1
packages/alt-ergo/alt-ergo.2.4.2/opam
··· 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"
+1 -1
packages/alt-ergo/alt-ergo.2.4.3/opam
··· 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"
+1 -1
packages/alt-ergo/alt-ergo.2.5.0/opam
··· 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: [
+1 -1
packages/alt-ergo/alt-ergo.2.5.1/opam
··· 16 16 "alt-ergo-parsers" {= version} 17 17 "menhir" 18 18 "dune-site" 19 - "cmdliner" {>= "1.1.0"} 19 + "cmdliner" {>= "1.1.0" & < "2.0"} 20 20 "odoc" {with-doc} 21 21 ] 22 22 build: [
+1 -1
packages/alt-ergo/alt-ergo.2.5.2/opam
··· 16 16 "alt-ergo-parsers" {= version} 17 17 "menhir" 18 18 "dune-site" 19 - "cmdliner" {>= "1.1.0"} 19 + "cmdliner" {>= "1.1.0" & < "2.0"} 20 20 "odoc" {with-doc} 21 21 ] 22 22 build: [
+1 -1
packages/alt-ergo/alt-ergo.2.5.3/opam
··· 16 16 "alt-ergo-parsers" {= version} 17 17 "menhir" 18 18 "dune-site" 19 - "cmdliner" {>= "1.1.0"} 19 + "cmdliner" {>= "1.1.0" & < "2.0"} 20 20 "odoc" {with-doc} 21 21 ] 22 22 build: [
+1 -1
packages/alt-ergo/alt-ergo.2.5.4/opam
··· 16 16 "alt-ergo-parsers" {= version} 17 17 "menhir" 18 18 "dune-site" 19 - "cmdliner" {>= "1.1.0"} 19 + "cmdliner" {>= "1.1.0" & < "2.0"} 20 20 "odoc" {with-doc} 21 21 ] 22 22 build: [
+1 -1
packages/alt-ergo/alt-ergo.2.6.0/opam
··· 16 16 "alt-ergo-parsers" {= version} 17 17 "menhir" 18 18 "dune-site" 19 - "cmdliner" {>= "1.1.0"} 19 + "cmdliner" {>= "1.1.0" & < "2.0"} 20 20 "odoc" {with-doc} 21 21 ] 22 22 build: [