Christian Helmuth 42ff902576 vbox6: settings version 1.18-genode in machine.vbox6 ...

At least the audio backend depends on the correct .vbox settings version
for VirtualBox 6.1 which is 1.18 as of VirtualBox.xidl.

2021-10-15 12:17:05 +02:00

..

api/noux

Move stubby to genode-world

2020-06-29 14:25:27 +02:00

pkg

depot: update recipe hashes

2021-10-14 13:46:25 +02:00

raw

vbox6: settings version 1.18-genode in machine.vbox6

2021-10-15 12:17:05 +02:00

src

depot: update recipe hashes

2021-10-14 13:46:25 +02:00