We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 802d753 commit ba2fb46Copy full SHA for ba2fb46
packages/lambdapi/lambdapi.2.2.1/opam
@@ -52,7 +52,7 @@ depends: [
52
"sedlex" {>= "2.2"}
53
"alcotest" {with-test}
54
"dedukti" {with-test & >= "2.7"}
55
- "bindlib" {>= "5.0.1"}
+ "bindlib" {>= "6.0.0"}
56
"timed" {>= "1.0"}
57
"pratter" {>= "2.0.0" & < "3"}
58
"camlp-streams" {>= "5.0"}
0 commit comments