profiles: deprecate arm64 13.0 profiles

Closes: https://bugs.gentoo.org/673256
Signed-off-by: Mart Raudsepp <leio@gentoo.org>

diff --git a/profiles/default/linux/arm64/13.0/deprecated b/profiles/default/linux/arm64/13.0/deprecated
new file mode 100644 (file)
index 0000000..4f618b0
--- /dev/null
+++ b/profiles/default/linux/arm64/13.0/deprecated
@@ -0,0 +1 @@
+default/linux/arm64/17.0

diff --git a/profiles/default/linux/arm64/13.0/desktop/deprecated b/profiles/default/linux/arm64/13.0/desktop/deprecated
new file mode 100644 (file)
index 0000000..4755eb8
--- /dev/null
+++ b/profiles/default/linux/arm64/13.0/desktop/deprecated
@@ -0,0 +1 @@
+default/linux/arm64/17.0/desktop

diff --git a/profiles/default/linux/arm64/13.0/desktop/systemd/deprecated b/profiles/default/linux/arm64/13.0/desktop/systemd/deprecated
new file mode 100644 (file)
index 0000000..1a721bb
--- /dev/null
+++ b/profiles/default/linux/arm64/13.0/desktop/systemd/deprecated
@@ -0,0 +1 @@
+default/linux/arm64/17.0/desktop/systemd

diff --git a/profiles/default/linux/arm64/13.0/developer/deprecated b/profiles/default/linux/arm64/13.0/developer/deprecated
new file mode 100644 (file)
index 0000000..a85ff5b
--- /dev/null
+++ b/profiles/default/linux/arm64/13.0/developer/deprecated
@@ -0,0 +1 @@
+default/linux/arm64/17.0/developer

diff --git a/profiles/default/linux/arm64/13.0/systemd/deprecated b/profiles/default/linux/arm64/13.0/systemd/deprecated
new file mode 100644 (file)
index 0000000..94f203b
--- /dev/null
+++ b/profiles/default/linux/arm64/13.0/systemd/deprecated
@@ -0,0 +1 @@
+default/linux/arm64/17.0/systemd