[build] Initial dune support

coq-community · Jun 4, 2022 · f7a2a1f · f7a2a1f
1 parent 4486796
commit f7a2a1f
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -0,0 +1,4 @@
+(lang dune 3.3)
+(using coq 0.4)
+
+(name fourcolor)
diff --git a/theories/dune b/theories/dune
@@ -0,0 +1,3 @@
+(coq.theory
+ (name fourcolor)
+ (package coq-fourcolor))