Dear developers, in ubuntu 9.04 eigen (http://eigen.tuxfamily.org) is present with a rather old version 1.0.5, Are you planning to update the deb package to the newer version ? When ? thanks, marco