From ccde35bcd51ea0985af1a385a9ba2a645786e34c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antonio=20S=C3=A1nchez?= <cantonios@google.com>
Date: Wed, 1 Oct 2025 22:58:44 +0000
Subject: [PATCH] Update dev version number.

---
 Eigen/Version | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Eigen/Version b/Eigen/Version
index de4a594ad..164c87f62 100644
--- a/Eigen/Version
+++ b/Eigen/Version
@@ -6,9 +6,9 @@
 // As of Eigen3 5.0.0, we have moved to Semantic Versioning (semver.org).
 #define EIGEN_MAJOR_VERSION 5
 #define EIGEN_MINOR_VERSION 0
-#define EIGEN_PATCH_VERSION 0
+#define EIGEN_PATCH_VERSION 1
 #define EIGEN_PRERELEASE_VERSION "dev"
 #define EIGEN_BUILD_VERSION "master"
-#define EIGEN_VERSION_STRING "5.0.0-dev+master"
+#define EIGEN_VERSION_STRING "5.0.1-dev+master"
 
 #endif  // EIGEN_VERSION_H