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 #27310 from mseri/coq-serapi

coq-serapi < 0.20 needs upper bound on ocamlfind

authored by

Marcello Seri and committed by
GitHub 4770d647 c6bfb106

+15 -15
+1 -1
packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.16" & < "8.17" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.16.0+0.16.1/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.16" & < "8.17" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.16.0+0.16.2/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.16" & < "8.17" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.16.0+0.16.3/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.16" & < "8.17" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.17.0+0.17.0/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.17" & < "8.18" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.17.0+0.17.1/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.17" & < "8.18" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.17.0+0.17.2/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.17" & < "8.18" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.17.0+0.17.3/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.17" & < "8.18" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.18.0+0.18.1/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.18" & < "8.19" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.18.0+0.18.2/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.18" & < "8.19" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.18.0+0.18.3/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.18" & < "8.19" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.19.0+0.19.0/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.19" & < "8.20" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.19.0+0.19.1/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.19" & < "8.20" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.19.0+0.19.2/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.19" & < "8.20" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }
+1 -1
packages/coq-serapi/coq-serapi.8.19.0+0.19.3/opam
··· 26 26 "ocaml" { >= "4.09.0" } 27 27 "coq" { >= "8.19" & < "8.20" } 28 28 "cmdliner" { >= "1.1.0" } 29 - "ocamlfind" { >= "1.8.0" } 29 + "ocamlfind" {>= "1.8.0" & < "1.9.8"} 30 30 "sexplib" { >= "v0.13.0" } 31 31 "dune" { >= "2.0.1" } 32 32 "ppx_import" { build & >= "1.5-3" & < "2.0" }