Skip to content

GitLab

Commit 6036000a authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files
Options

Bump Coq version in README.

parent 74631679
Pipeline #15247 failed with stage
    in 6 minutes and 39 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    README.md
    View file @ 6036000a
    ......@@ -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.8.2
    - Coq 8.9.0
    - 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)
    ......
    Markdown is supported
    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