Please create a tag for Coq 8.18 in Coq Platform 2023.10 about relation-algebra HOT 5 CLOSED

I could get version 1.7.9 to compile with just:

--- coq-relation-algebra.orig/src/fold.ml
+++ coq-relation-algebra/src/fold.ml
@@ -26,7 +26,7 @@
   let obt = Monoid.ob ops in
   (* TOTKINK: Use  Evarconv.conv ? *)
   let unifiable sg env x y =
-    try sigma := Unification.w_unify env sg Reduction.CONV x y; true
+    try sigma := Unification.w_unify env sg Conversion.CONV x y; true
     with _ -> false
   in

from relation-algebra.

Hi,
Thanks for the help, this message just to reassure you that I'm on it: should be able to double check everything this Friday.
Damien

from relation-algebra.

Hi @rtetley
just released/tagged v1.7.10, which compiles with Coq8.18
Is it fine with you?
(I'll propagate the package to opam then)
Damien

from relation-algebra.

Works fine ! Will close the issue once this is merged.
Let me know once you've propagated to opam!
Cheers !

from relation-algebra.

Done, in opam!

from relation-algebra.