A arxiv.org Package Managers à la Carte: a formal model of dependency resolution 55 points avsm 8 months ago 17 comments