diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/flint')
-rw-r--r-- | nixpkgs/pkgs/development/libraries/flint/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/development/libraries/flint/default.nix b/nixpkgs/pkgs/development/libraries/flint/default.nix index 858144b150aa..6873508eb7dc 100644 --- a/nixpkgs/pkgs/development/libraries/flint/default.nix +++ b/nixpkgs/pkgs/development/libraries/flint/default.nix @@ -51,6 +51,5 @@ stdenv.mkDerivation rec { platforms = platforms.unix; homepage = "https://www.flintlib.org/"; downloadPage = "https://www.flintlib.org/downloads.html"; - updateWalker = true; }; } |