From d4de105a57cdae2bf130d013d4828a5d5796f7f6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Thu, 20 Sep 2018 13:17:59 +0200
Subject: [PATCH] sculpt: update download_debian launcher for 18.09

---
 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 d3b0f0f153..febd627f7c 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.08">
+<launcher pkg="cnuke/pkg/download_debian/18.09">
 	<route>
 		<service name="File_system" label="target"> <child name="vm_fs"/> </service>
 		<service name="File_system" label="fonts">  <child name="fonts_fs"/> </service>