diff options
Diffstat (limited to 'papiers.opam')
| -rw-r--r-- | papiers.opam | 2 |
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" |