> > > Check the status of your mirror > http://www.archlinux.org/mirrors/status/ > > > and switch to a good mirror and pacman -Syyu > > > > Well, eigen-2.0.15-1 does is the latest packaged version in [extra]. > > Are you sure you haven't installed eigen-3.0.0-1 from another source? > > pacman -Qi eigen gives what's bellow. I can't find a way to tell me the > source of the package. try "grep ^Server /etc/pacman.d/mirrorlist | head -n 1" ;) As noted above, you just need to pick a more up-to-date mirror. == John K Pate http://homepages.inf.ed.ac.uk/s0930006/ -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
