diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2022-03-24 22:55:34 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-24 22:55:34 -0500 |
commit | 1cf5591a99f9d1f0b4bff66f1533917f4c597112 (patch) | |
tree | 782e1b7783c83738883e57937f0d975645e9ceed /pkgs/applications/science | |
parent | cee88c2a1f636a3eaf5a1a07ed8ee904b1e22116 (diff) | |
parent | e0476d93fe71dabae965f153724648df813c4fe0 (diff) | |
download | nixlib-1cf5591a99f9d1f0b4bff66f1533917f4c597112.tar nixlib-1cf5591a99f9d1f0b4bff66f1533917f4c597112.tar.gz nixlib-1cf5591a99f9d1f0b4bff66f1533917f4c597112.tar.bz2 nixlib-1cf5591a99f9d1f0b4bff66f1533917f4c597112.tar.lz nixlib-1cf5591a99f9d1f0b4bff66f1533917f4c597112.tar.xz nixlib-1cf5591a99f9d1f0b4bff66f1533917f4c597112.tar.zst nixlib-1cf5591a99f9d1f0b4bff66f1533917f4c597112.zip |
Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/why3/with-provers.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/why3/with-provers.nix b/pkgs/applications/science/logic/why3/with-provers.nix index 826473b38e9f..ae0acb1e525c 100644 --- a/pkgs/applications/science/logic/why3/with-provers.nix +++ b/pkgs/applications/science/logic/why3/with-provers.nix @@ -12,7 +12,7 @@ let configAwkScript = runCommand "why3-conf.awk" { inherit provers; } ''; in stdenv.mkDerivation { - name = "${why3.name}-with-provers"; + pname = "${why3.pname}-with-provers"; nativeBuildInputs = [ makeWrapper ]; buildInputs = [ why3 ] ++ provers; |