@misc{indiciaeb7636eb2d8fe,
  title = {Package Managers à la Carte: A Formal Model of Dependency Resolution},
  author = {Ryan Gibb and Patrick Ferris and David Allsopp and Thomas Gazagnaire and Anil Madhavapeddy},
  year = {2026},
  doi = {10.1145/3828699},
  url = {https://arxiv.org/abs/2602.18602},
  note = {Source identifier: 2602.18602}
}