Displaying 2 results from an estimated 2 matches for "d3ab7da".
2015 Oct 13
6
[PATCH 0/4] rpm: Choose providers better (RHBZ#1266918).
Fix for
https://bugzilla.redhat.com/show_bug.cgi?id=1266918
2015 Oct 13
0
[PATCH 4/4] rpm: Choose providers better (RHBZ#1266918).
...in a big list, we lose track of
where a dependency originates from, so it is not easy to implement
this second change.
---
src/rpm.ml | 55 +++++++++++++++++++++++++++++++++++++++----------------
1 file changed, 39 insertions(+), 16 deletions(-)
diff --git a/src/rpm.ml b/src/rpm.ml
index 4d31472..d3ab7da 100644
--- a/src/rpm.ml
+++ b/src/rpm.ml
@@ -210,8 +210,42 @@ let rpm_package_name pkg =
let rpm_get_package_database_mtime () =
(lstat "/var/lib/rpm/Packages").st_mtime
-(* Memo of resolved provides. *)
-let rpm_providers = Hashtbl.create 13
+(* Return the best provider of a partic...