Sven Luther <sven.luther@wanadoo.fr> writes: > I saw libocurl and libnumerix being removed just now whewn i apt-get > dist-upgraded it, don't know exactly why though. Likely to be unrelated I think. -- Jérôme Marant