From b7e95c15257e5cd89fa7405a3aacf8677bc1fb40 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 13 Jul 2018 11:47:19 +0200
Subject: [PATCH] sculpt: update pkg for Tinycore+Vbox5

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

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index d884ad630..067959eb8 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -661,7 +661,7 @@ append manual_deploy_config {
 	-->
 
 <!--
-	<start name="vbox5-tc-browser" pkg="alex-ab/pkg/vbox5-tc-firefox-nova-sculpt/2018-06-27">
+	<start name="vbox5-tc-browser" pkg="alex-ab/pkg/vbox5-tc-firefox-nova-sculpt/2018-07-13">
 		<route>
 			<service name="ROM"    label="capslock"> <parent label="capslock"/> </service>
 			<service name="ROM"    label="platform_info"> <parent/> </service>