From 7248c5cc23064645c41d73c15fdcd036da8fd226 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 22 Mar 2024 08:33:08 +0100
Subject: [PATCH] sculpt: add terminal to index

Issue #5076
---
 repos/gems/run/sculpt/index | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/gems/run/sculpt/index b/repos/gems/run/sculpt/index
index 3826f10387..8015384997 100644
--- a/repos/gems/run/sculpt/index
+++ b/repos/gems/run/sculpt/index
@@ -24,6 +24,7 @@
     <pkg path="usb_webcam"      info="USB webcam"/>
     <pkg path="bsd_audio_drv"   info="audio driver" arch="x86_64"/>
     <pkg path="mixer"           info="audio mixer"/>
+    <pkg path="terminal"        info="graphical terminal"/>
   </index>
 
   <index name="Demos">