Commit b6ee7aa6 authored by Ralf Jung's avatar Ralf Jung

bump Coq

parent cd113065
Pipeline #24212 failed with stage
in 15 minutes and 27 seconds
......@@ -27,11 +27,10 @@ variables:
## Build jobs
build-coq.8.10.1:
build-coq.8.11.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.10.1"
TIMING_CONF: "coq-8.10.1"
OPAM_PINS: "coq version 8.11.0"
tags:
- fp-timing
......
......@@ -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.9.0
- Coq 8.11.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