message: update eigen to the commit:
diff: @@ -134,11 +134,11 @@ def tf_workspace(path_prefix = "", tf_repo_name = ""):
  tf_http_archive(
  name = "eigen_archive",
  build_file = clean_dep("//third_party:eigen.BUILD"),
  - sha256 = "8fa7ba1af23f0320be05f4658061138d6eb8dd1f320669cbf305b3a034f9d1c2",
  - strip_prefix = "eigen-eigen-ea671884cc96",
  + sha256 = "fc0f871496cdaec892245afc9890e8267f73b0fcec5a7f75be0dc914e2972023",
  + strip_prefix = "eigen-eigen-efda481cbd7a",
  urls = [
  - "https://mirror.bazel.build/bitbucket.org/eigen/eigen/get/ea671884cc96.tar.gz",
  - "https://bitbucket.org/eigen/eigen/get/ea671884cc96.tar.gz",
  + "https://mirror.bazel.build/bitbucket.org/eigen/eigen/get/efda481cbd7a.tar.gz",
  + "https://bitbucket.org/eigen/eigen/get/efda481cbd7a.tar.gz",
  ],
  )
  