Update opam

coq · Feb 23, 2015 · 2db976b · 2db976b
1 parent d6701bf
commit 2db976b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/coq:io-effects:unix/coq:io-effects:unix.1.0.0/opam b/packages/coq:io-effects:unix/coq:io-effects:unix.1.0.0/opam
@@ -11,7 +11,7 @@ build: [
 ]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/IoEffectsUnix"]
 depends: [
-  "coq" {>= "8.4pl4"}
+  "coq" {>= "8.4pl4" & < "8.5}
   "coq:function-ninjas"
   "coq:list-string" {>= "2.0.0"}
   "coq:io-effects"