1 files changed, 1 insertions, 1 deletions
diff --git a/dune b/dune
index 020ec08..92ac822 100644
--- a/dune
+++ b/dune
@@ -4,7 +4,7 @@
 (include_subdirs unqualified)
 
 (library
- (public_name coqup)
+ (public_name vericert)
  (modules_without_implementation c debugTypes dwarfTypes)
  (libraries menhirLib str unix)
  (flags (:standard -warn-error -A)))