summaryrefslogtreecommitdiffabout
path: root/papiers.opam
diff options
context:
space:
mode:
Diffstat (limited to 'papiers.opam')
-rw-r--r--papiers.opam2
1 files changed, 1 insertions, 1 deletions
diff --git a/papiers.opam b/papiers.opam
index f30ba8e..ccb3f9b 100644
--- a/papiers.opam
+++ b/papiers.opam
@@ -14,7 +14,7 @@ depends: [
"ANSITerminal"
"cmdliner"
"camlpdf"
- "lambda-term" {< "2.0"}
+ "lambda-term" {>= "2.0"}
]
homepage: "http://git.isomorphis.me/papiers/about/"
dev-repo: "git://git.isomorphis.me/papiers.git"