Commit 62441cb5 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

cvc5: 1.0.6 → 1.0.7

parent 81a8aa76

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.6";

  version = "1.0.7";



  src = fetchFromGitHub {

    owner  = "cvc5";

    repo   = "cvc5";

    rev    = "cvc5-${version}";

    hash  = "sha256-pZiXAO92cwnYtaVMDFBEmk+NzDf4eKdc0eY0RltofPA=";

    hash  = "sha256-0uT2Lzz0ZbfNWZBptjaGI1fN0mMniBz41eEwipGc5fc=";

  };



  nativeBuildInputs = [ pkg-config cmake flex ];