From 0bcab1df84251cefd07f25a5a3d9be6cd3c82d79 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Wed, 29 Aug 2018 10:45:22 +0200
Subject: [PATCH] sculpt: change download_debian pkg version

---
 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 35533fe6e..d3b0f0f15 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/2018-06-13">
+<launcher pkg="cnuke/pkg/download_debian/18.08">
 	<route>
 		<service name="File_system" label="target"> <child name="vm_fs"/> </service>
 		<service name="File_system" label="fonts">  <child name="fonts_fs"/> </service>