Schedule: Formal Dependency Management
| Speakers | |
|---|---|
|
Berke Durak |
| Schedule | |
| Day | Sunday |
| Room | AW1.125 |
| Start time | 09:00 |
| End time | 10:00 |
| Duration | 01:00 |
| Info | |
| Event type | Podium |
| Track | Debian |
| Language | English |
| Media | |
| 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.
Cornerstone Sponsors
Main Sponsors
