Schedule: Formal Dependency Management

Berke Durak
Day Sunday
Room AW1.125
Start time 09:00
End time 10:00
Duration 01:00
Event type Podium
Track Debian
Language English
Slides (PDF)
Video (Ogg/Theora)
Video (DIVX)
Video (Ogg/Theora/Low quality)
Formal Dependency Management

Formal Dependency Management in Debian Package Repositories

In this talk we will briefly sketch the research that has been done concerning the maintenance of large package-based distributions and the formal management of inter-package dependencies, in the context of the EDOS Project.

The toolset that has been developed starting from this research will be showcased in its Debian incarnation:

  • edos-debcheck: a dependency checker for finding inconsistencies in Debian repositories.
  • edos-history: a package repository exploration tool that is able to handle historical Debian repositories data.
  • anla: a web service that reports the analysis of Debian repositories over time.
  • tart: a distribution "thinner" used to build custom Debian distributions.