From dfe8b44c28270e308fc7ec0d5a3cfb0471315301 Mon Sep 17 00:00:00 2001
From: "mend-for-github.amrom.workers.dev[bot]"
 <50673670+mend-for-github.amrom.workers.dev[bot]@users.noreply.github.com>
Date: Tue, 30 Sep 2025 08:59:21 +0000
Subject: [PATCH] Update dependency com_gitlab_libeigen_eigen to v3.4.1

---
 WORKSPACE | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index 40a84a343..8df9969e5 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -58,10 +58,10 @@ http_archive(
 # External dependency: Eigen; has no Bazel build.
 http_archive(
     name = "com_gitlab_libeigen_eigen",
-    sha256 = "0215c6593c4ee9f1f7f28238c4e8995584ebf3b556e9dbf933d84feb98d5b9ef",
-    strip_prefix = "eigen-3.3.8",
+    sha256 = "8bb7280b7551bf06418d11a9671fdf998cb927830cf21589b394382d26779821",
+    strip_prefix = "eigen-3.4.1",
     urls = [
-        "https://gitlab.com/libeigen/eigen/-/archive/3.3.8/eigen-3.3.8.tar.bz2",
+        "https://gitlab.com/libeigen/eigen/-/archive/3.4.1/eigen-3.4.1.tar.bz2",
     ],
     build_file_content =
 """