Unverified Commit dcaea930 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

cvc5: 1.3.1 → 1.3.2

parent 50172f85

pkgs/by-name/cv/cvc5/package.nix

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


stdenv.mkDerivation rec {

  pname = "cvc5";

  version = "1.3.1";

  version = "1.3.2";



  src = fetchFromGitHub {

    owner = "cvc5";

    repo = "cvc5";

    tag = "cvc5-${version}";

    hash = "sha256-nxJjrpWZfYPuuKN4CWxOHEuou4r+MdK0AjdEPZHZbHI=";

    hash = "sha256-Um1x+XgQ5yWSoqtx1ZWbVAnNET2C4GVasIbn0eNfico=";

  };



  nativeBuildInputs = [