Commit 2d2cb7bc authored by Ralf Jung's avatar Ralf Jung

use old ssreflect for old Coq

parent 3e732b21
Pipeline #14336 failed with stage
in 8 minutes and 35 seconds
...@@ -39,4 +39,4 @@ build-coq.8.7.2: ...@@ -39,4 +39,4 @@ build-coq.8.7.2:
build-coq.8.6.1: build-coq.8.6.1:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.6.1" OPAM_PINS: "coq version 8.6.1 coq-mathcomp-ssreflect.1.6.4"
...@@ -10,7 +10,7 @@ This tutorial comes in two versions: ...@@ -10,7 +10,7 @@ This tutorial comes in two versions:
For the tutorial material you need to have the following dependencies installed: For the tutorial material you need to have the following dependencies installed:
- Coq 8.6.1 / 8.7.2 / 8.8.2 - Coq 8.6.1 / 8.7.2 / 8.8.2
- Ssreflect 1.6.4 - Ssreflect 1.6.4 / 1.7.0
- Coq-std++ 1.1 - Coq-std++ 1.1
- Iris 3.1 - Iris 3.1
......
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