update dune files to dune 2.3 format

coq-community · Feb 29, 2020 · 4f4cc78 · 4f4cc78
1 parent 392cb6e
commit 4f4cc78
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 1.9)
+(lang dune 2.3)
 (using coq 0.1)
 (name coq-lemma-overloading)
diff --git a/theories/dune b/theories/dune
@@ -1,7 +1,8 @@
 (coq.theory
  (name LemmaOverloading)
- (public_name coq-lemma-overloading.LemmaOverloading)
- (flags :standard
+ (package coq-lemma-overloading)
+ (synopsis "Libraries demonstrating design patterns for programming and proving with canonical structures in Coq")
+ (flags
    -w +default
    -w -notation-overridden
    -w -projection-no-head-constant