Commit 40e5d1b1 authored by R. RyanTM's avatar R. RyanTM
Browse files

bitwuzla: 0.5.0 -> 0.6.0

parent 4545ad67

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;