Unverified Commit 2d9b5f9e authored by Robert Scott's avatar Robert Scott Committed by GitHub
Browse files

Merge pull request #206302 from r-ryantm/auto-update/cvc5 

cvc5: 1.0.2 -> 1.0.3
parents 033d54ea cdc29721

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

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


stdenv.mkDerivation rec {

  pname = "cvc5";

  version = "1.0.2";

  version = "1.0.3";



  src = fetchFromGitHub {

    owner  = "cvc5";

    repo   = "cvc5";

    rev    = "cvc5-${version}";

    sha256 = "sha256-RDslPz9b0R9NXaXoixSCenHEh+F3wg/8p4Ksrzh41PI=";

    sha256 = "sha256-CVXK6yehfUrSbo8R1Dk1oc/siCtmV9DjEp6q+aLuVQA=";

  };



  nativeBuildInputs = [ pkg-config cmake ];