../ eigen_1.0.5-1.diff.gz 05-Dec-2007 06:04 3967 eigen_1.0.5-1.dsc 05-Dec-2007 06:04 677 eigen_1.0.5.orig.tar.gz 20-Jul-2007 06:04 59K libeigen-dev_1.0.5-1_all.deb 05-Dec-2007 07:04 38K