Solving Package Management via Hypergraph Dependency Resolution. - Ryan Gibb; Patrick Ferris; David Allsopp; Michael Winston Dales; Mark Elvers; Thomas Gazagnaire; Sadiq Jaffer; Thomas Leonard; Jon Ludlam; Anil Madhavapeddy (CoRR, 2025)