let sync (sn,sv,v) p = let cn = CudfAdd.encode ("src/"^sn^"/"^sv) in {p with Cudf.provides = (cn, Some (`Eq, v))::p.Cudf.provides; Cudf.conflicts = (cn, Some (`Neq, v))::p.Cudf.conflicts; }