Daniel Braniss <danny at cs.huji.ac.il> writes: > hi, > distinfo has eigen/3.2.1.bz2 while eigen.tuxfamily.org/ (and probably others) has > eigen-3.2.1.bz2 I fail to see the problem here -- make fetch works just fine here and in the cluster. Are you experiencing any issues?