From de550efcd9c74723b5c3d71cc6f7e29767b7a65d Mon Sep 17 00:00:00 2001 From: Kenji Maillard Date: Mon, 29 Jan 2024 11:17:04 +0100 Subject: [PATCH] Adapt to coq 8.19 --- .github/workflows/build.yml | 2 +- README.md | 2 +- opam | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 900ca7c..9ca3b5f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -16,7 +16,7 @@ jobs: runs-on: ubuntu-latest env: - coq_version: '8.18' + coq_version: '8.19' ocaml_version: '4.14-flambda' fail-fast: true diff --git a/README.md b/README.md index 38d2f43..badfaad 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ In order to avoid some work on the syntax, this project uses the [AutoSubst](htt Building =========== -The project builds with Coq version `8.18.0`. It needs the opam package `coq-smpl`. Once these have been installed, you can simply issue `make` in the root folder. +The project builds with Coq version `8.19.0`. It needs the opam package `coq-smpl`. Once these have been installed, you can simply issue `make` in the root folder. The `make depgraph` recipe can be used to generate the [dependency graph](https://coqhott.github.io/logrel-coq/dependency_graph.png). diff --git a/opam b/opam index e9909de..d5ffbe3 100644 --- a/opam +++ b/opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "8.18.dev" +version: "8.19.dev" maintainer: "Meven.Bertrand@univ-nantes.fr" dev-repo: "git+https://github.com/CoqHott/logrel-coq.git" bug-reports: "https://github.com/CoqHott/logrel-coq/issues" @@ -10,7 +10,7 @@ authors: ["Meven Lennon-Bertrand " ] license: "MIT" depends: [ - "coq" { >= "8.18" & < "8.19~" } + "coq" { >= "8.19" & < "8.20~" } "coq-smpl" "coq-equations" { >= "1.3" } ]