upgrade score platform to 0.4.2 (#39)

Author: AlexanderLanin

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

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")