May 26th Workshop

Minutes

The documents from the meeting are available here.

Place:

Paris, Chevaleret, room 0C2 (how to come)

Theme:

Results from EDOS, useful in Mancoosi

External participants: to invite/recall

• Daniel Le Berre (leberre@cril.univ-artois.fr)
• Fabien Dagnat (fabien.dagnat@telecom-bretagne.eu, confirmed)

Agenda

Monday 26th morning: 9h-12h30

• 9h-9h30 - Arrival of the participants
• 9h30-10h00 - Introduction: EDOS WP2 objectives, package formats and formalization, pointers to the deliverable/resume on the Mancoosi website.
• 10h-12h30 (including Coffee break at 11h) - Tools:
  • libsolver/debcheck/rpmcheck (Jerome Vouillon, confirmed)
  • pkglab (Jaap Boender, confirmed)
  • anla (Jaap Boender, confirmed)
  • edos.debian.net (Ralf Treinen, confirmed)
  • tart (Berke Durak, confirmed)

12h30-14h Lunch

Monday 26th afternoon: 14h-17h30

• 14h00-14h30 apt-rpm rollback extension (Paulo Trezentos, confirmed)
• 14h30-15h00 experiments with existing depsolvers (Paulo Trezentos, confirmed)
• 15h00-15h45 Sat4J for Eclipse provisioning (Daniel Le Berre, confirmed)

15h45-16h00 Pause

• 16h-16h30 Administrative issues and questions session for those concerned, i.e. one member per beneficiary (Sophie Cousin)
• 16h30-17h30 Time for free networking

Tuesday 27th morning

• 09h00-10h30 discussion on WP2/WP3 issues (organized by WP2/WP3 leaders, here are some micro-minutes)
  • 09h00-09h30 Modeling the upgradability process: issues and discussions (Alfonso Pierantonio)
  • 09h30-9h50 Reviewing of rollback state-of-the-art: what is already done (Paulo Barata)
  • 10h00-10h15 Discussion of D3.1 structure and work attribution (Paulo Trezentos / Paulo Barata)
• 10h30-11h00 coffee break
• 11h00-12h30 discussion on WP4/WP5 issues (organized by WP4/WP5 leaders)
  • WP5: discussion of the upgradeability problem submission format (DUDF)
  • WP4/WP5: dicussion on preferences in CUDF