From 450bda69837b02c20d2fb391bbe7827d1becaac4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 14 Jul 2020 16:08:58 +0100
Subject: Change name to Vericert

---
 dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dune')

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)))
-- 
cgit