From fbf0b29a037d053b845e2c3ebfac89f26b28e548 Mon Sep 17 00:00:00 2001
From: Rainer Kartmann <rainer.kartmann@kit.edu>
Date: Fri, 27 Jan 2023 18:18:48 +0100
Subject: [PATCH] Deprecate deps/eigen3
---
data/modules/deps/eigen3.json | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/data/modules/deps/eigen3.json b/data/modules/deps/eigen3.json
index 619cbf9ce..a567a1c4b 100644
--- a/data/modules/deps/eigen3.json
+++ b/data/modules/deps/eigen3.json
@@ -1,6 +1,14 @@
{
"general": {
- "url": "https://gitlab.com/libeigen/eigen"
+ "url": "https://gitlab.com/libeigen/eigen",
+ "deprecated": {
+ "since": "2023-01-27",
+ "removal": "2023-02-17",
+ "superseded_by": {
+ "apt/eigen3": {}
+ },
+ "message": "Due to potential conflicts with the apt version of Eigen, it is now recommend to use only the apt package of Eigen."
+ }
},
"update": {
--
GitLab