Unverified Commit a5ec1c37 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

cvc4: change src.repo to reflect rename (#471650)

parents 81ce91ea 97869302

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

+1 −1
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ stdenv.mkDerivation rec { 


  src = fetchFromGitHub {

    owner = "cvc4";

    repo = "cvc4";

    repo = "cvc4-archived";

    rev = version;

    sha256 = "1rhs4pvzaa1wk00czrczp58b2cxfghpsnq534m0l3snnya2958jp";

  };