Solving package dependencies: from EDOS to Mancoosi

Ralf Treinen (1) , Stefano Zacchiroli (1)

1 PPS - Preuves, Programmes et Systèmes

Mancoosi (Managing the Complexity of the Open Source Infrastructure) is an ongoing research project funded by the European Union for addressing some of the challenges related to the "upgrade problem" of interdependent software components of which Debian packages are prototypical examples. Mancoosi is the natural continuation of the EDOS project which has already contributed tools for distribution-wide quality assurance in Debian and other GNU/Linux distributions. The consortium behind the project consists of several European public and private research institutions as well as some commercial GNU/Linux distributions from Europe and South America. Debian is represented by a small group of Debian Developers who are working in the ranks of the involved universities to drive and integrate back achievements into Debian. This paper presents relevant results from EDOS in dependency management and gives an overview of the Mancoosi project and its objectives, with a particular focus on the prospective benefits for Debian.

Domaines: Génie logiciel [cs.SE]; Logique en informatique [cs.LO]

Ralf Treinen, Stefano Zacchiroli. Solving package dependencies: from EDOS to Mancoosi. DebConf8, Aug 2008, Argentina. pp.18-43. ⟨hal-00340581⟩