genode/repos/dde_rump/ports/dde_rump.port

mirror of https://github.com/genodelabs/genode.git synced 2025-02-18 17:00:26 +00:00
LICENSE   := BSD
VERSION   := git
DOWNLOADS := rump.git
URL(rump) := https://github.com/ssumpf/rump.git
DIR(rump) := src/lib/dde_rump
REV(rump) := 206ffa06cedd0779af0043997fd182b00ff4688c
dde_rump: migrate to new ports mechanism Issue #1082 2014-05-23 17:54:04 +02:00			`LICENSE := BSD`
rump: retrieve port sources using git fixes #2621 2018-01-03 14:55:27 +01:00			`VERSION := git`
			`DOWNLOADS := rump.git`
			`URL(rump) := https://github.com/ssumpf/rump.git`
			`DIR(rump) := src/lib/dde_rump`
			`REV(rump) := 206ffa06cedd0779af0043997fd182b00ff4688c`