diff --git a/.gitignore b/.gitignore index 581c4f8..4235553 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,4 @@ /eigen-3.0.4.tar.bz2 /eigen-3.0.5.tar.bz2 /eigen-3.0.6.tar.bz2 +/eigen-3.1.2.tar.bz2 diff --git a/sources b/sources index 006400b..fc9c2a6 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -e107cc39111bc6a616d685693cd9e529 eigen-3.0.6.tar.bz2 +e9c081360dde5e7dcb8eba3c8430fde2 eigen-3.1.2.tar.bz2