diff options
Diffstat (limited to 'pkgs/applications/science/logic/bitwuzla')
-rw-r--r-- | pkgs/applications/science/logic/bitwuzla/default.nix | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/pkgs/applications/science/logic/bitwuzla/default.nix b/pkgs/applications/science/logic/bitwuzla/default.nix index 1fa78849db6e8..8ac21c2e2bc41 100644 --- a/pkgs/applications/science/logic/bitwuzla/default.nix +++ b/pkgs/applications/science/logic/bitwuzla/default.nix @@ -1,6 +1,5 @@ { stdenv , fetchFromGitHub -, fetchpatch , lib , python3 , meson @@ -18,24 +17,15 @@ stdenv.mkDerivation (finalAttrs: { pname = "bitwuzla"; - version = "0.4.0"; + version = "0.5.0"; src = fetchFromGitHub { owner = "bitwuzla"; repo = "bitwuzla"; rev = finalAttrs.version; - hash = "sha256-ZEdV4ml1LwrYwscgOcL2gLx/ijPYqRktXMQH/Njh8OI="; + hash = "sha256-/izxmN+zlrXsY6g6TRC1QqsLqltvrmZquXRd6h8RLRc="; }; - patches = [ - # fix parser on aarch64 - # remove on next release - (fetchpatch { - url = "https://github.com/bitwuzla/bitwuzla/commit/4d914aa5ec34076c37749f0cf6dce976ea510386.patch"; - hash = "sha256-gp+HEamOySjPXCC39tt5DIMdQqEew26a+M15sNdCmTM="; - }) - ]; - strictDeps = true; nativeBuildInputs = [ meson pkg-config git ninja ]; |