Skip to content

Commit

Permalink
fix vcfloat version
Browse files Browse the repository at this point in the history
  • Loading branch information
@volodeyka
volodeyka committed Mar 25, 2024
1 parent 4f16e12 commit e5f4d85
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ opam install coq-mathcomp-ssreflect=2.1.0
opam install coq-mathcomp-zify coq-mathcomp-algebra=2.1.0 coq-mathcomp-fingroup=2.1.0 coq-mathcomp-finmap=2.1.0
opam install coq-flocq
opam install coq-bignums=9.0.0+coq8.18
opam install coq-vcfloat --ignore-constraints-on=coq
opam install coq-vcfloat=2.1.1 --ignore-constraints-on=coq
```

The flag `--ignore-constraints-on` is necessary for working around some version constraints.
Expand Down

0 comments on commit e5f4d85

Please sign in to comment.