From 8094b1ee01a804d2b0383c2cba28fb55e5182018 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 16 Oct 2024 16:23:04 +0200
Subject: [PATCH] sculpt/index: refer to recent audio mixer

Instead of publishing the old audio mixer, refer to the recent
record_play_mixer providing the audio API that is used by almost
all components now.

Ref genodelabs/genode#5356
---
 repos/gems/run/sculpt/index | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/repos/gems/run/sculpt/index b/repos/gems/run/sculpt/index
index 5a6596288f..309cfc2833 100644
--- a/repos/gems/run/sculpt/index
+++ b/repos/gems/run/sculpt/index
@@ -14,18 +14,18 @@
   </index>
 
   <index name="Tools">
-    <pkg path="system_shell"    info="command-line interface to the system"/>
-    <pkg path="system_clock-pc" info="real-time-clock service" arch="x86_64"/>
-    <pkg path="qt5_textedit"    info="Qt5-based text editor"/>
-    <pkg path="report_dump"     info="save periodic snapshots of the report fs"/>
-    <pkg path="recall_fs"       info="component-specific file-system view"/>
-    <pkg path="file_vault"      info="encrypted file store"/>
-    <pkg path="black_hole"      info="pseudo service provider"/>
-    <pkg path="usb_webcam"      info="USB webcam"/>
-    <pkg path="bsd_audio"       info="audio driver" arch="x86_64"/>
-    <pkg path="mixer"           info="audio mixer"/>
-    <pkg path="terminal"        info="graphical terminal"/>
-    <pkg path="gdb_x86"         info="GNU debugger" arch="x86_64"/>
+    <pkg path="system_shell"      info="command-line interface to the system"/>
+    <pkg path="system_clock-pc"   info="real-time-clock service" arch="x86_64"/>
+    <pkg path="qt5_textedit"      info="Qt5-based text editor"/>
+    <pkg path="report_dump"       info="save periodic snapshots of the report fs"/>
+    <pkg path="recall_fs"         info="component-specific file-system view"/>
+    <pkg path="file_vault"        info="encrypted file store"/>
+    <pkg path="black_hole"        info="pseudo service provider"/>
+    <pkg path="usb_webcam"        info="USB webcam"/>
+    <pkg path="bsd_audio"         info="audio driver" arch="x86_64"/>
+    <pkg path="record_play_mixer" info="audio mixer"/>
+    <pkg path="terminal"          info="graphical terminal"/>
+    <pkg path="gdb_x86"           info="GNU debugger" arch="x86_64"/>
   </index>
 
   <index name="Demos">