Commit 20fbe9ec authored by R. RyanTM's avatar R. RyanTM
Browse files

bitwuzla: 0.6.1 -> 0.7.0

parent 371e69dc

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

+2 −2
Original line number Diff line number Diff line
@@ -18,13 +18,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "bitwuzla";

  version = "0.6.1";

  version = "0.7.0";



  src = fetchFromGitHub {

    owner = "bitwuzla";

    repo = "bitwuzla";

    rev = finalAttrs.version;

    hash = "sha256-auW+YeUCpl7SzVAMTyHxrWh6ShwElq6wTEP7Qf2M7jk=";

    hash = "sha256-S8CtK8WEehUdOoqOmu5KnoqHFpCGrYWjZKv1st4M7bo=";

  };



  strictDeps = true;