dune build scripts

dune

+(env
+ (dev
+  (flags :standard)
+  (coq
+    (flags
+      (:standard
+      ;'Global Hint Rewrite' not supported before Coq 8.14.
+      -w -deprecated-hint-rewrite-without-locality
+      ; Fixing this one requires Coq 8.15.
+      -w -deprecated-typeclasses-transparency-without-locality
+      ; Fixing this one requires Coq 8.13.
+      -w -deprecated-syntactic-definition
+)))))

dune-project

+(lang dune 3.3)
+; Basic configuration for the Coq build tool "dune".
+; This file has to stay in this directory to mark it as a dune project.
+(using coq 0.4)
+(name coq-stdpp)

stdpp/dune

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

stdpp_unstable/dune

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