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

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index cd37308..a253285 100644
--- a/default.nix
+++ b/default.nix
@@ -25,7 +25,7 @@ let
       } ) { };
 in
 stdenv.mkDerivation {
-  name = "coqup";
+  name = "vericert";
   src = ./.;
 
   buildInputs = [ ncoq ocamlPackages.menhir dune
-- 
cgit