ProDCG/comp-programming not found