Merge pull request #3 from mattam82/master

Update deps
coq · Jun 16, 2015 · 837cda2 · 837cda2
2 parents e9204db + f86858d
commit 837cda2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extra-dev/packages/coq:russell/coq:russell.8.5.dev/opam b/extra-dev/packages/coq:russell/coq:russell.8.5.dev/opam
@@ -13,7 +13,7 @@ install: [
 ]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Lambda"]
 depends: [
-  "coq" {>= "8.5beta1"}
+  "coq" {>= "8.5~beta1"}
 ]
 tags: [ "keyword:metatheory" "category:Miscellaneous/Coq Extensions" "category:CS/Lambda Calculi" ]
 authors: [ "Matthieu Sozeau <matthieu.sozeau@inria.fr>" ]