Commit 97869302 authored by Justin Restivo's avatar Justin Restivo
Browse files

cvc4: change src.repo to reflect rename

parent 322fdfcd

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

  };