From af5869cd07a3b78bfee8f62e03d01b4869ccc3a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 27 Nov 2018 12:15:05 +0100
Subject: [PATCH] sculpt: update download_debian launcher for 18.11

---
 repos/gems/run/sculpt/launcher/download_debian | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/run/sculpt/launcher/download_debian b/repos/gems/run/sculpt/launcher/download_debian
index febd627f7..2bdf76c94 100644
--- a/repos/gems/run/sculpt/launcher/download_debian
+++ b/repos/gems/run/sculpt/launcher/download_debian
@@ -1,4 +1,4 @@
-<launcher pkg="cnuke/pkg/download_debian/18.09">
+<launcher pkg="cnuke/pkg/download_debian/18.11">
 	<route>
 		<service name="File_system" label="target"> <child name="vm_fs"/> </service>
 		<service name="File_system" label="fonts">  <child name="fonts_fs"/> </service>