diff options
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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 |