Switch to [rocq.theory].

Author: rlepigre-skylabs-ai

dune-project

@@ -1 +1 @@
-(lang dune 3.17)
+(lang dune 3.21)

rocq-brick-libstdcpp/dune

@@ -8,8 +8,8 @@
  (_
   (flags :standard %{read-lines:flags/ocamlc})
   (ocamlopt_flags :standard -O3 -unbox-closures)
-  (coq
-   (coqdep_flags :standard -w +all)
+  (rocq
+   (rocqdep_flags :standard -w +all)
    (flags
     (:standard
       %{read-lines:flags/coqc}

rocq-brick-libstdcpp/dune-project

@@ -1,5 +1,5 @@
-(lang dune 3.17)
-(using coq 0.10)
+(lang dune 3.21)
+(using rocq 0.11)
 (name rocq-brick-libstdcpp)
 
 (generate_opam_files)

rocq-brick-libstdcpp/proof/dune

@@ -5,7 +5,7 @@
 ; Use of this file is only permitted subject to a separate written license agreement with BlueRock.
 
 (include_subdirs qualified)
-(coq.theory
+(rocq.theory
  (name skylabs.brick.libstdcpp) ; logical path of this library
  (package rocq-brick-libstdcpp)
  (theories

rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam

@@ -13,7 +13,7 @@ license: "BSD-3"
 homepage: "https://github.com/SkyLabsAI/brick-libcpp"
 bug-reports: "https://github.com/SkyLabsAI/brick-libcpp/issues"
 depends: [
-  "dune" {>= "3.17"}
+  "dune" {>= "3.21"}
   "rocq-skylabs-cpp2v" {= "dev"}
   "elpi-cpp"
   "rocq-skylabs-auto-core"
@@ -34,3 +34,4 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/SkyLabsAI/brick-libcpp.git"
+x-maintenance-intent: ["(latest)"]

rocq-brick-libstdcpp/test/dune

@@ -5,7 +5,7 @@
 ; Use of this file is only permitted subject to a separate written license agreement with BlueRock.
 
 (include_subdirs qualified)
-(coq.theory
+(rocq.theory
  (name skylabs.brick.libstdcpp.test) ; logical path of this library
  (theories
   ; skylabs.brick.libstdcpp deps