Skip to content

Commit c163cc5

Browse files
authored
bitwuzla: 0.6.0 -> 0.6.1 (#360966)
2 parents cc423c2 + f9a383b commit c163cc5

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

pkgs/by-name/bi/bitwuzla/package.nix

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,13 +17,13 @@
1717

1818
stdenv.mkDerivation (finalAttrs: {
1919
pname = "bitwuzla";
20-
version = "0.6.0";
20+
version = "0.6.1";
2121

2222
src = fetchFromGitHub {
2323
owner = "bitwuzla";
2424
repo = "bitwuzla";
2525
rev = finalAttrs.version;
26-
hash = "sha256-xO9+hixboGaCAIi01sWuIYtPamIwUpiTujmOD60NEm0=";
26+
hash = "sha256-auW+YeUCpl7SzVAMTyHxrWh6ShwElq6wTEP7Qf2M7jk=";
2727
};
2828

2929
strictDeps = true;

0 commit comments

Comments
 (0)