Deducteam
diff --git a/‎lambdapi.opam‎
Lines changed: 1 addition & 0 deletions b/‎lambdapi.opam‎
Lines changed: 1 addition & 0 deletions
@@ -39,6 +39,7 @@ depends: [
   "uri" {>= "1.1"}
   "dune-site" {>= "3.15"}
   "ppx_inline_test" {>= "v0.16.1"}
+  "elpi" { >= "3.7" & < "3.8" }
 ]
 build: [
   ["dune" "subst"] {dev}
Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,7 @@ depends: [`
`39`	`39`	`"uri" {>= "1.1"}`
`40`	`40`	`"dune-site" {>= "3.15"}`
`41`	`41`	`"ppx_inline_test" {>= "v0.16.1"}`
	`42`	`+ "elpi" { >= "3.7" & < "3.8" }`
`42`	`43`	`]`
`43`	`44`	`build: [`
`44`	`45`	`["dune" "subst"] {dev}`