Dune build compatible with Rocq 9.0.0.

dune

@@ -5,4 +5,6 @@
     (:standard ; Keeping the default flags.
      ; Add custom flags (to be kept in sync with _CoqProject).
      -w -argument-scope-delimiter
-     -w -notation-incompatible-prefix)))))
+     -w -notation-incompatible-prefix
+     -w -deprecated-from-Coq
+     -w -deprecated-dirpath-Coq)))))

stdpp/dune

 (include_subdirs qualified)
 (coq.theory
  (name stdpp)
- (package coq-stdpp))
+ (package coq-stdpp)
+ (theories Stdlib))

stdpp_bitvector/dune

@@ -2,4 +2,4 @@
 (coq.theory
  (name stdpp.bitvector)
  (package coq-stdpp-bitvector)
- (theories stdpp))
+ (theories Stdlib stdpp))

stdpp_unstable/dune

@@ -2,4 +2,4 @@
 (coq.theory
  (name stdpp.unstable)
  (package coq-stdpp-unstable)
- (theories stdpp stdpp.bitvector))
+ (theories Stdlib stdpp stdpp.bitvector))