Unverified Commit c9d051b1 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

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

cvc5: 1.0.4 -> 1.0.5
parents 10da343f bb270775

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

  version = "1.0.5";



  src = fetchFromGitHub {

    owner  = "cvc5";

    repo   = "cvc5";

    rev    = "cvc5-${version}";

    hash  = "sha256-1yJZtPZ4nMg9Kn3jHpN8b5XeFZ8ZeVLrKYWh7Rp3/oQ=";

    hash  = "sha256-l+L59QLLrAEVkAZjhxICJpa+j+jr1k/7B61JlapXGRI=";

  };



  nativeBuildInputs = [ pkg-config cmake flex ];