anchor.diff:      hash = "sha256-d04GPMoz6PMGq6iiul0zT1C9Mljdl9uJJ2C8MIwcmaw=";
     };
   
  +  postPatch = ''
  +    cp ${catch2}/include/catch2/catch.hpp libcudf/tests/catch.hpp
  +  '';
  +
     nativeBuildInputs = [ cmake ];
     buildInputs = [ boost clasp gringo re2c ];
   
  
positive.code:     "-DASPCUD_CLASP_PATH=${clasp}/bin/clasp"
    ];
  
    meta = with lib; {
      description = "Solver for package problems in CUDF format using ASP";
      homepage = "https://potassco.org/aspcud/";
  
negative.code: , stdenv
  , fetchFromGitHub
  , boost
  , catch2
  , clasp
  , cmake
  , gringo
  