Update provides.json