EDOS deliverable WP2-D2.2: Report on Formal Management of Software Dependencies

摘要

Our focus is mainly on the issues related to dependency management for large sets of software packages, with a particular attention to what must be done to maintain consistency of a software distribution on the repository side, as opposed to maintaining a set of packages on a client machine.