genode/repos/dde_rump/ports/dde_rump.port

LICENSE   := BSD
VERSION   := git
DOWNLOADS := rump.git
URL(rump) := https://github.com/ssumpf/rump.git
DIR(rump) := src/lib/dde_rump
REV(rump) := 206ffa06cedd0779af0043997fd182b00ff4688c

PATCHES := patches/rump.patch
dde_rump: migrate to new ports mechanism Issue #1082 2014-05-23 15:54:04 +00:00			`LICENSE := BSD`
rump: retrieve port sources using git fixes #2621 2018-01-03 13:55:27 +00:00			`VERSION := git`
			`DOWNLOADS := rump.git`
			`URL(rump) := https://github.com/ssumpf/rump.git`
			`DIR(rump) := src/lib/dde_rump`
			`REV(rump) := 206ffa06cedd0779af0043997fd182b00ff4688c`
rump: handle error case in vm_vfs rump layer Fixes #2677 2018-02-12 14:24:26 +00:00
dde_rump: eliminate global ctors 2019-10-02 12:23:28 +00:00			`PATCHES := patches/rump.patch`