From e5b828ae8f5ae844cfefb2c44914cf5cde518edb Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 6 Sep 2021 15:21:53 +0200
Subject: [PATCH] Switch to genodelabs depot in depot_download test

---
 repos/gems/run/depot_download.run | 17 ++++++-----------
 1 file changed, 6 insertions(+), 11 deletions(-)

diff --git a/repos/gems/run/depot_download.run b/repos/gems/run/depot_download.run
index 3cf7e0f279..2a7a52ae51 100644
--- a/repos/gems/run/depot_download.run
+++ b/repos/gems/run/depot_download.run
@@ -111,11 +111,6 @@ append config {
 		<config>
 			<vfs>
 				<dir name="depot">
-					<dir name="nfeske">
-						<ram/>
-						<inline name="download">} [depot_user_download nfeske] {</inline>
-						<inline name="pubkey">}   [depot_user_pubkey   nfeske] {</inline>
-					</dir>
 					<dir name="genodelabs">
 						<ram/>
 						<inline name="download">} [depot_user_download genodelabs] {</inline>
@@ -155,9 +150,9 @@ append config {
 set fd [open [run_dir]/genode/installation w]
 puts $fd {
 <installation arch="x86_64">
-	<archive path="genodelabs/pkg/wm/2018-02-26"/>
-	<index   path="nfeske/index/19.02"/>
-	<index   path="nfeske/index/19.03"/>
+	<archive path="genodelabs/pkg/wm/2019-03-17"/>
+	<index   path="genodelabs/index/19.02"/>
+	<index   path="genodelabs/index/19.03"/>
 </installation>}
 close $fd
 
@@ -179,8 +174,8 @@ append_qemu_nic_args
 
 # watch the state reports generated by the depot-download manager
 set expected_pattern {}
-append expected_pattern {.*path="genodelabs/pkg/wm/2018-02-26" state="done".*}
-append expected_pattern {.*path="nfeske/index/19.02" state="done".*}
-append expected_pattern {.*path="nfeske/index/19.03" state="failed".*}
+append expected_pattern {.*path="genodelabs/pkg/wm/2019-03-17" state="done".*}
+append expected_pattern {.*path="genodelabs/index/19.02" state="done".*}
+append expected_pattern {.*path="genodelabs/index/19.03" state="failed".*}
 
 run_genode_until $expected_pattern 150