Adapt to coq 8.19

.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
 

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).
 

opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"              
-version: "8.18.dev"
+version: "8.19.dev"
 maintainer: "[email protected]"
 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 <[email protected]>"
 ]
 license: "MIT"
 depends: [
-  "coq" { >= "8.18" & < "8.19~" }
+  "coq" { >= "8.19" & < "8.20~" }
   "coq-smpl"
   "coq-equations" { >= "1.3" }
 ]