diff options
| author | Guillaume Girol <symphorien@users.noreply.github.com> | 2024-06-07 21:14:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-07 21:14:39 +0200 |
| commit | da7f6b9bdfaef30625e0251363732c554c98503d (patch) | |
| tree | bfc30438274ea44b374baf4c6e464bf97be1c305 | |
| parent | b4e105ae6ce80eb1554959f4bf296f36d3a54f4a (diff) | |
| parent | f014663fe4d84e06d34cbe555aee77ecc19032cf (diff) | |
Merge pull request #316654 from symphorien/update_bitwuzla2
bitwuzla: 0.4.0 -> 0.5.0
| -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 ]; |