Commit 04d69616 authored by Robbert's avatar Robbert

Merge branch 'ralf/drop-8.7' into 'master'

drop support for Coq 8.7

See merge request !170
parents 376e5e05 852e6fa7
Pipeline #30350 passed with stage
in 12 minutes and 54 seconds
...@@ -56,8 +56,3 @@ build-coq.8.8.2: ...@@ -56,8 +56,3 @@ build-coq.8.8.2:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.8.2" OPAM_PINS: "coq version 8.8.2"
build-coq.8.7.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.2"
...@@ -3,6 +3,8 @@ API-breaking change is listed. ...@@ -3,6 +3,8 @@ API-breaking change is listed.
## std++ master ## std++ master
Coq 8.7 is no longer supported by this release.
- Rename `Z2Nat_inj_div` and `Z2Nat_inj_mod` to `Nat2Z_inj_div` and - Rename `Z2Nat_inj_div` and `Z2Nat_inj_mod` to `Nat2Z_inj_div` and
`Nat2Z_inj_mod` to follow the naming convention of `Nat2Z` and `Nat2Z_inj_mod` to follow the naming convention of `Nat2Z` and
`Z2Nat`. The names `Z2Nat_inj_div` and `Z2Nat_inj_mod` have been `Z2Nat`. The names `Z2Nat_inj_div` and `Z2Nat_inj_mod` have been
......
...@@ -45,7 +45,7 @@ Notably: ...@@ -45,7 +45,7 @@ Notably:
This version is known to compile with: This version is known to compile with:
- Coq version 8.7.2 / 8.8.2 / 8.9.1 / 8.10.2 / 8.11.2 - Coq version 8.8.2 / 8.9.1 / 8.10.2 / 8.11.2
## Installing via opam ## Installing via opam
......
...@@ -30,7 +30,7 @@ The key features of this library are as follows: ...@@ -30,7 +30,7 @@ The key features of this library are as follows:
""" """
depends: [ depends: [
"coq" { (= "8.7.2") | (= "8.8.2") | (>= "8.9.1" & < "8.13~") | (= "dev") } "coq" { (= "8.8.2") | (>= "8.9.1" & < "8.13~") | (= "dev") }
] ]
build: [make "-j%{jobs}%"] build: [make "-j%{jobs}%"]
......
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