Prepare for 8.18 release.

Author: ppedrot

.github/workflows/build.yml

@@ -4,6 +4,7 @@ on:
   push: # On any push on a "stable" branch
     branches:
       - main
+      - 8.18
       - 8.14
       - 8.13
       - 8.12
@@ -21,10 +22,10 @@ jobs:
     strategy:
       matrix:
         coq_version: 
-          - 'dev'
+          - '8.18'
         ocaml_version:
           - '4.09-flambda'
-        target: [ local, hott, dune ]
+        target: [ local ] # dune, hott left out for now waiting for HoTT package
       fail-fast: false
 
     steps:

coq-equations.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "1.3+8.18"
 authors: [ "Matthieu Sozeau <matthieu.sozeau@inria.fr>" "Cyprien Mangin <cyprien.mangin@m4x.org>" ]
 dev-repo: "git+https://github.com/mattam82/Coq-Equations.git"
 maintainer: "matthieu.sozeau@inria.fr"
@@ -31,9 +31,6 @@ run-test: [
   [make "test-suite"]
 ]
 depends: [
-  "coq" {= "dev"}
+  "coq" { >= "8.18~" & < "8.19" }
   "ocamlfind" {build}
 ]
-#depopts: [
-#  "coq-hott" {= "8.13"}
-#]