Update opam

coq · Aug 8, 2018 · 0a61f90 · 0a61f90
1 parent 0bb455c
commit 0a61f90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-mathcomp-bigenough/coq-mathcomp-bigenough.1.0.0/opam b/released/packages/coq-mathcomp-bigenough/coq-mathcomp-bigenough.1.0.0/opam
@@ -11,7 +11,7 @@ dev-repo: "https://github.com/math-comp/bigenough"
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/bigenough'" ]
-depends: [ "coq-mathcomp-ssreflect" { (>= "1.6.0" | = "dev") } ]
+depends: [ "coq-mathcomp-ssreflect" { (>= "1.6" | = "dev") } ]
 
 tags: [ "keyword:bigenough" "keyword:asymptotic reasonning" "keyword:small scale reflection" "keyword:mathematical components" ]
 authors: [ "Cyril Cohen <cyril.cohen@inria.fr>" ]