Commit 43cf91c4 authored by Ralf Jung's avatar Ralf Jung

properly pin ssreflect

parent 843053be
Pipeline #14345 passed with stage
in 16 minutes and 57 seconds
......@@ -29,14 +29,14 @@ variables:
build-coq.8.8.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.2"
OPAM_PINS: "coq version 8.8.2 coq-mathcomp-ssreflect version 1.7.0"
build-coq.8.7.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.2"
OPAM_PINS: "coq version 8.7.2 coq-mathcomp-ssreflect version 1.7.0"
build-coq.8.6.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.6.1 coq-mathcomp-ssreflect.1.6.4"
OPAM_PINS: "coq version 8.6.1 coq-mathcomp-ssreflect version 1.7.0"
......@@ -10,7 +10,7 @@ This tutorial comes in two versions:
For the tutorial material you need to have the following dependencies installed:
- Coq 8.6.1 / 8.7.2 / 8.8.2
- Ssreflect 1.6.4 / 1.7.0
- Ssreflect 1.7.0
- Coq-std++ 1.1
- Iris 3.1
......@@ -33,7 +33,7 @@ If you are unable to use opam, you can also build Iris from source. For this,
make sure to `git checkout` the correct versions, and run `make; make install`
for all of:
* ssreflect: <https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz>
* ssreflect: <https://github.com/math-comp/math-comp/archive/mathcomp-1.7.0.tar.gz>
(`cd mathcomp/ssreflect` to only compile and install what is needed)
* std++: <https://gitlab.mpi-sws.org/iris/stdpp/repository/coq-stdpp-1.1.0/archive.tar.gz>
* Iris: <https://gitlab.mpi-sws.org/FP/iris-coq/repository/iris-3.1.0/archive.tar.gz>
......
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