Zie pas nu dat in synaptic voor eenzelfde repository zowel de binary als de source zijn toegevoegd. Is dat wel nodig? Is de veronderstelling juist dat de source repositories weg mogen? -- adrien