Skip to content

Commit

Permalink
Anticipate this will work for mathcomp 1.10
Browse files Browse the repository at this point in the history
  • Loading branch information
@CohenCyril
CohenCyril committed Nov 27, 2019
1 parent 83f648b commit 48c1330
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ install: [ make "install" ]

depends: [
"coq" { (>= "8.7" & < "8.11~") | (= "dev") }
"coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.10~") | (= "dev") }
"coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.11~") | (= "dev") }
"coq-mathcomp-bigenough" { (>= "1.0.0" & < "1.1~") | (= "dev") }
]
tags: [ "keyword:finmap" "keyword:finset" "keyword:multiset" "keyword:order"]
Expand Down

1 comment on commit 48c1330

@affeldt-aist
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

fwiiw: I could not compile the master of finmap with the last version of mathcomp master (a problem related to order that I could not identify right away) but it compiles with the not so old mathcomp master 156e5141fc36cfca6100c9f2b3841e566ed06f11.

Please sign in to comment.