Unverified Commit 5584e359 authored by Guillaume Girol's avatar Guillaume Girol Committed by GitHub
Browse files

bitwuzla: 0.5.0 -> 0.6.0 (#350779)

parents 0a446b4a 40e5d1b1

pkgs/applications/science/logic/bitwuzla/default.nix

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


stdenv.mkDerivation (finalAttrs: {

  pname = "bitwuzla";

  version = "0.5.0";

  version = "0.6.0";



  src = fetchFromGitHub {

    owner = "bitwuzla";

    repo = "bitwuzla";

    rev = finalAttrs.version;

    hash = "sha256-/izxmN+zlrXsY6g6TRC1QqsLqltvrmZquXRd6h8RLRc=";

    hash = "sha256-xO9+hixboGaCAIi01sWuIYtPamIwUpiTujmOD60NEm0=";

  };



  strictDeps = true;