Update dune-project

Author: nchappe

dune-project

@@ -1,6 +1,6 @@
 (lang dune 3.8)
 (using coq 0.7)
-(name coq-ctree)
+(name rocq-ctree)
 
 (license "MIT")
 (authors "Nicolas Chappe" "Paul He" "Ludovic Henrio" "Yannick Zakowski" "Steve Zdancewic")
@@ -11,15 +11,16 @@
 (generate_opam_files true)
 
 (package
- (name coq-ctree)
+ (name rocq-ctree)
  (synopsis "Library for representing recursive, non-deterministic and impure programs with equational reasoning")
- (version 2.0)
+ (version 2.0-dev)
  (depends
-  (coq (>= 8.20))
+  (rocq-core (>= 9.0))
+  (rocq-stdlib (>= 9.0))
   (coq-ext-lib (>= 0.11.3))
-  (coq-coinduction (= 1.20))
-  (coq-relation-algebra (>= 1.7.11))
-  (coq-equations (>= 1.2))
+  (rocq-coinduction (>= 1.21))
+  (rocq-relation-algebra (>= 1.8.0))
+  (rocq-equations (>= 1.3.1))
   (coq-itree (>= 5.0)))
  (tags (
    "category:CS/Semantics and Compilation/Semantics"

theories/dune

@@ -2,4 +2,4 @@
 
 (coq.theory
  (name CTree)
- (package coq-ctree))
+ (package rocq-ctree))