bitwuzla: 0.8.1 -> 0.8.2 · pyrox.dev/nixpkgs@cbd7897

pyrox.dev / nixpkgs

fork atom

lol

fork atom

bitwuzla: 0.8.1 -> 0.8.2

R. Ryantm 6 months ago cbd7897c be57485f

+2 -2

1 changed file

expand all

unified split

pkgs

by-name

bitwuzla

package.nix

+2 -2

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

··· 21 21 22 22 stdenv.mkDerivation (finalAttrs: { 23 23 pname = "bitwuzla"; 24 - version = "0.8.1"; 24 + version = "0.8.2"; 25 25 26 26 src = fetchFromGitHub { 27 27 owner = "bitwuzla"; 28 28 repo = "bitwuzla"; 29 29 rev = finalAttrs.version; 30 - hash = "sha256-4Gf06aZ3iBEu0bNZAGgWCXVgKA0ew37Zf6XArnlVAXw="; 30 + hash = "sha256-v5r+BWXUUbKtkos6qmGMC9MMytS/h759SHY6lsTHU1k="; 31 31 }; 32 32 33 33 strictDeps = true;