From 4ea98dfee4bcf9616c2c32f1941ed188051e6034 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 27 Nov 2018 11:13:43 +0100
Subject: [PATCH] sculpt: update browser VMs for 18.11

---
 .../run/sculpt/launcher/{seoul-vmm-browser => firefox@seoul}    | 2 +-
 .../gems/run/sculpt/launcher/{vbox5-tc-browser => firefox@vbox} | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename repos/gems/run/sculpt/launcher/{seoul-vmm-browser => firefox@seoul} (84%)
 rename repos/gems/run/sculpt/launcher/{vbox5-tc-browser => firefox@vbox} (89%)

diff --git a/repos/gems/run/sculpt/launcher/seoul-vmm-browser b/repos/gems/run/sculpt/launcher/firefox@seoul
similarity index 84%
rename from repos/gems/run/sculpt/launcher/seoul-vmm-browser
rename to repos/gems/run/sculpt/launcher/firefox@seoul
index 2ca7516c3..5183d625e 100644
--- a/repos/gems/run/sculpt/launcher/seoul-vmm-browser
+++ b/repos/gems/run/sculpt/launcher/firefox@seoul
@@ -1,4 +1,4 @@
-<launcher pkg="alex-ab/pkg/seoul-nova-sculpt/18.09-62.0">
+<launcher pkg="alex-ab/pkg/seoul-nova-sculpt/18.11-63.0.3">
 	<route>
 		<service name="Nic"> <child name="nic_router"/> </service>
 		<service name="ROM" label="platform_info"> <parent/> </service>
diff --git a/repos/gems/run/sculpt/launcher/vbox5-tc-browser b/repos/gems/run/sculpt/launcher/firefox@vbox
similarity index 89%
rename from repos/gems/run/sculpt/launcher/vbox5-tc-browser
rename to repos/gems/run/sculpt/launcher/firefox@vbox
index a042fd691..17da2a196 100644
--- a/repos/gems/run/sculpt/launcher/vbox5-tc-browser
+++ b/repos/gems/run/sculpt/launcher/firefox@vbox
@@ -1,4 +1,4 @@
-<launcher pkg="alex-ab/pkg/vbox5-tc-firefox-nova-sculpt/18.09-62.0">
+<launcher pkg="alex-ab/pkg/vbox5-tc-firefox-nova-sculpt/18.11-63.0.3">
 	<route>
 		<service name="Nic"> <child name="nic_router"/> </service>
 		<service name="ROM"    label="capslock"> <parent label="capslock"/> </service>