Adapted to Cuis 4.2 (provides/requires) and README updated.