aboutsummaryrefslogtreecommitdiffhomepage
path: root/WORKSPACE
diff options
context:
space:
mode:
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE4
1 files changed, 2 insertions, 2 deletions
diff --git a/WORKSPACE b/WORKSPACE
index a7f9116b68..c26bb521cb 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -21,8 +21,8 @@ new_http_archive(
new_http_archive(
name = "eigen_archive",
- url = "https://bitbucket.org/eigen/eigen/get/c8e5d09.tar.gz",
- sha256 = "be61d1ce686e950d9a3a61b2aa83562ba4582ce1813e475869146e0a05915857",
+ url = "https://bitbucket.org/eigen/eigen/get/fb2fa05.tar.gz",
+ sha256 = "8aacd8065d52528af1a22d6b72925dbb6b9fb8f25e46769481dd06d3edf63bbd",
build_file = "eigen.BUILD",
)