diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-07-18 06:01:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-18 06:01:33 +0000 |
| commit | f2eada4ab85be29a3a32282704b436e0fd26334a (patch) | |
| tree | 160ca327c7dfe485ab90f5f6eae4f0a3b348da24 /pkgs/development/tools/minizinc/default.nix | |
| parent | 382fdc7ad3184c7d47f54feb535a970fe64a0f35 (diff) | |
| parent | ff4f2b6b85c9446001d6a410549223afe141f101 (diff) | |
| download | nixpkgs-f2eada4ab85be29a3a32282704b436e0fd26334a.tar nixpkgs-f2eada4ab85be29a3a32282704b436e0fd26334a.tar.gz nixpkgs-f2eada4ab85be29a3a32282704b436e0fd26334a.tar.bz2 nixpkgs-f2eada4ab85be29a3a32282704b436e0fd26334a.tar.lz nixpkgs-f2eada4ab85be29a3a32282704b436e0fd26334a.tar.xz nixpkgs-f2eada4ab85be29a3a32282704b436e0fd26334a.tar.zst nixpkgs-f2eada4ab85be29a3a32282704b436e0fd26334a.zip | |
Merge master into staging-next
Diffstat (limited to 'pkgs/development/tools/minizinc/default.nix')
| -rw-r--r-- | pkgs/development/tools/minizinc/default.nix | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/pkgs/development/tools/minizinc/default.nix b/pkgs/development/tools/minizinc/default.nix index c1e0a356df3..06a6bd3dfd5 100644 --- a/pkgs/development/tools/minizinc/default.nix +++ b/pkgs/development/tools/minizinc/default.nix @@ -1,10 +1,7 @@ { lib, stdenv, fetchFromGitHub, cmake, flex, bison }: -let - version = "2.5.5"; -in -stdenv.mkDerivation { +stdenv.mkDerivation rec { pname = "minizinc"; - inherit version; + version = "2.5.5"; nativeBuildInputs = [ cmake flex bison ]; |