Dependency Solving Is Still Hard, but We Are Getting Better at It · HackerPapers discussions

Dependency Solving Is Still Hard, but We Are Getting Better at It — mentioned by matheusmoreira

Sat, 06 Nov 2021 01:51:28 GMT

> they both have more robust dependency resolvers (and dnf's is actually complete[1]) > 1: See the discussion of completeness here: https://arxiv.org/pdf/2011.07851.pdf That's interesting. In what ways are these resolvers superior to pacman? I never had dependency resolution issues. Can you help me understand with concrete examples? Pacman is not cited anywhere on that paper. > you don't need to resort to one of a dozen third-party ‘wrappers’ in order to use the bulk of packages available in those distros' ecosystems Are you referring to the AUR? I believe that's more of a man power issue.…

Paper and discussion history. A mention is not an endorsement.

Dependency Solving Is Still Hard, but We Are Getting Better at It — mentioned by pxc

Sat, 06 Nov 2021 00:22:19 GMT

> I don't see how apt or dnf are any more comprehensive than pacman. What do you mean by that? In terms of the core functionality of package managers, they both have more robust dependency resolvers (and dnf's is actually complete[1]). In the case of dnf, it's also more ‘comprehensive’ in the sense that the singular CLI tool handles more package management functionality (e.g., it includes repo management), and in the sense that it supports plugins. They're also both more comprehensive in the sense that you don't need to resort to one of a dozen third-party ‘wrappers’ in order to use the bulk…

Paper and discussion history. A mention is not an endorsement.