Skip to content
GitLab
Commit 66aa3ccf authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Drop old versions of Coq that we have not actually tried.

parent a9756949
Hide whitespace changes
Inline Side-by-side
README.md
View file @ 66aa3ccf
......@@ -8,7 +8,7 @@ Aleš Bizjak, Daniel Gratzer, Robbert Krebbers, and Lars Birkedal.
Iron has been built and tested with the following dependencies
- Coq 8.7.1 / 8.7.2 / 8.8.0
- Coq 8.8.2
- A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq)
- A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment