diff --git a/doc/DefaultPolicy.md b/doc/DefaultPolicy.md index 635065b60..4254e20bf 100644 --- a/doc/DefaultPolicy.md +++ b/doc/DefaultPolicy.md @@ -15,39 +15,42 @@ The rules are to be applied in the order of these descriptions. ### Package versions Packages: Av1, Av2, Av3 -Installed: Av2 + +* Installed: Av2 Request: install A -(Av3) +* (Av3) ### Repository priorities Packages Repo1.Av1, Repo2.Av1 -priority(Repo1) >= priority(Repo2) => (Repo1.Av1, Repo2.Av1) -priority(Repo2) < priority(Repo2) => (Repo2.Av1, Repo1.Av1) +* priority(Repo1) >= priority(Repo2) => (Repo1.Av1, Repo2.Av1) +* priority(Repo2) < priority(Repo2) => (Repo2.Av1, Repo1.Av1) ### Virtual Packages (provides) Packages Av1, Bv1 -Av1 provides Xv1 -Bv1 provides Xv1 + +* Av1 provides Xv1 +* Bv1 provides Xv1 Request: install X -priority(Av1.repo) >= priority(Bv1.repo) => (Av1, Bv1) -priority(Av1.repo) < priority(Bv1.repo) => (Bv1, Av1) +* priority(Av1.repo) >= priority(Bv1.repo) => (Av1, Bv1) +* priority(Av1.repo) < priority(Bv1.repo) => (Bv1, Av1) ### Package replacements Packages: Av1, Bv2 -Bv2 replaces Av1 + +* Bv2 replaces Av1 Request: install A -priority(Av1.repo) > priority(Bv2.repo) => (Av1, Bv2) -priority(Av1.repo) = priority(Bv2.repo) => (Av1, Bv2) -priority(Av1.repo) < priority(Bv2.repo) => (Bv2, Av1) +* priority(Av1.repo) > priority(Bv2.repo) => (Av1, Bv2) +* priority(Av1.repo) = priority(Bv2.repo) => (Av1, Bv2) +* priority(Av1.repo) < priority(Bv2.repo) => (Bv2, Av1) Bv2.version is ignored, only the replacement version for A matters.