Commit 1b70306c authored by Ralf Jung's avatar Ralf Jung
Browse files

drop Coq 8.12

parent 193d6230
Pipeline #47583 passed with stage
in 18 minutes and 46 seconds
......@@ -36,11 +36,6 @@ build-coq.8.13.2:
tags:
- fp-timing
build-coq.8.12.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.12.2"
build-iris.dev:
<<: *template
variables:
......
......@@ -6,7 +6,7 @@ This is a separation logic for [ORC11] based on [iGPS] and [FSL]. It has been re
This version is known to compile with:
- Coq 8.12.2 / 8.13.2
- Coq 8.13.2
- A development version of [ORC11] and [Iris]. See the [opam](opam) file for the exact
version.
......
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