Package Managers à la Carte

A Formal Model of Dependency Resolution