On Sat, Dec 14, 2013 at 03:30:18AM +0100, Ralf Treinen wrote: > I guess we should do this by updating the debian-science package. Where is > the source of that package located now? Sorry for the noise - found it ! -Ralf.