treewide: name -> pname

2019-08-17 10:54:38 +00:00
parent fe9a3e3e63
commit c814d72b51
520 changed files with 1164 additions and 622 deletions
@@ -39,7 +39,8 @@ let
    substituteInPlace plugins/micromega/coq_micromega.ml --replace "System.is_in_system_path \"csdp\"" "true"
  '' else "";
 self = stdenv.mkDerivation {
-  name = "coq-${version}";
+  pname = "coq";
+  inherit version;

  passthru = {
    inherit coq-version;