Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

zipperposition: constraint to ocaml 4.00.x only as it breaks with dif…

…ferent module sig on 4.1
  • Loading branch information...
commit e45530205987f67d4316a958446d3dcc954b19ec 1 parent 56dabb2
@avsm avsm authored
View
1  packages/zipperposition.0.1.1/opam
@@ -9,3 +9,4 @@ remove: [
]
homepage: "https://www.rocq.inria.fr/deducteam/Zipperposition/index.html"
patches: ["sed-bsd-compatible.patch"]
+ocaml-version: [ >= "4.00.0" & < "4.01.0" ]
View
1  packages/zipperposition.0.1/opam
@@ -8,3 +8,4 @@ remove: [
["rm" "%{bin}%/zipperposition"]
]
homepage: "https://www.rocq.inria.fr/deducteam/Zipperposition/index.html"
+ocaml-version: [ >= "4.00.0" & < "4.01.0" ]
View
2  packages/zipperposition.0.2/opam
@@ -7,5 +7,5 @@ remove: [
["rm" "%{bin}%/zipperposition"]
]
depends: [ "ocamlfind" "datalog" { < "0.4" } "camlzip" "yojson" ]
-ocaml-version: [ >= "4.00.0" ]
+ocaml-version: [ >= "4.00.0" & < "4.01.0" ]
homepage: "https://www.rocq.inria.fr/deducteam/Zipperposition/index.html"
Please sign in to comment.
Something went wrong with that request. Please try again.