Unverified Commit 7131c2c3 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

cvc5: 1.3.0 → 1.3.1

parent 03658711

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

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


stdenv.mkDerivation rec {

  pname = "cvc5";

  version = "1.3.0";

  version = "1.3.1";



  src = fetchFromGitHub {

    owner = "cvc5";

    repo = "cvc5";

    rev = "cvc5-${version}";

    hash = "sha256-w8rIGPG9BTEPV9HG2U40A4DYYnC6HaWbzqDKCRhaT00=";

    tag = "cvc5-${version}";

    hash = "sha256-nxJjrpWZfYPuuKN4CWxOHEuou4r+MdK0AjdEPZHZbHI=";

  };



  nativeBuildInputs = [