Rename nix derivation

IntersectMBO · May 7, 2024 · 63318c6 · 63318c6
1 parent b9bc8a9
commit 63318c6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/default.nix b/default.nix
@@ -180,8 +180,8 @@ rec {
   } // {
     conway = stdenv.mkDerivation {
       inherit (locales) LANG LC_ALL LOCALE_ARCHIVE;
-      pname = "docs";
-      version = "0.1";
+      pname = "conway-formal-spec";
+      version = "0.9";
       src = "${formalLedger}";
       meta = { };
       buildInputs = [ agdaWithDeps latex ];