diff options
Diffstat (limited to 'pkgs/development/tools/minizinc/default.nix')
| -rw-r--r-- | pkgs/development/tools/minizinc/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/tools/minizinc/default.nix b/pkgs/development/tools/minizinc/default.nix index 14f42ed9d40..53e2920c68d 100644 --- a/pkgs/development/tools/minizinc/default.nix +++ b/pkgs/development/tools/minizinc/default.nix @@ -3,7 +3,8 @@ let version = "2.2.3"; in stdenv.mkDerivation { - name = "minizinc-${version}"; + pname = "minizinc"; + inherit version; buildInputs = [ cmake flex bison ]; |