From f9fc2ebcef0a8101d1ba3311ab66116a5bb35205 Mon Sep 17 00:00:00 2001
From: Alexander Lanin <Alexander.Lanin@etas.com>
Date: Fri, 14 Nov 2025 15:25:43 +0100
Subject: [PATCH] switch to 0.4.2

---
 docs/index.rst             |  5 ++++-
 score_modules.MODULE.bazel | 10 ++--------
 2 files changed, 6 insertions(+), 9 deletions(-)

diff --git a/docs/index.rst b/docs/index.rst
index 9cafe3cde2..efb54f7126 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -15,9 +15,12 @@
 Reference Integration Documentation
 ===================================
 
+Release Notes: :need:`doc__score_v05_alpha_release_note`
+
+
 .. if-collection:: score_platform
 
-   Included S-CORE Modules:
+   Documentation:
 
    .. toctree::
       :maxdepth: 1
diff --git a/score_modules.MODULE.bazel b/score_modules.MODULE.bazel
index b110d772c4..5855393ced 100644
--- a/score_modules.MODULE.bazel
+++ b/score_modules.MODULE.bazel
@@ -42,15 +42,9 @@ single_version_override(
 )
 
 bazel_dep(name = "score_platform")
-# TODO: switch to 0.4.2 once released
-# single_version_override(
-#     module_name = "score_platform",
-#     version = "0.4.2",
-# )
-git_override(
+single_version_override(
     module_name = "score_platform",
-    remote = "https://github.com/eclipse-score/score.git",
-    commit = "a9cf44be1342f3c62111de2249eb3132f5ab88da" # version 0.4.1 + fixes *from main branch*
+    version = "0.4.2",
 )
 
 bazel_dep(name = "score_bazel_platforms")