mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
parent
38ab456c78
commit
c5786b212b
@ -1 +1 @@
|
||||
a417db30615df66f54ab57511bc4fab0ef2b79cf
|
||||
a0d13a5e10a8d7ac752de722e156695982d8d07d
|
||||
|
@ -2,9 +2,9 @@ LICENSE := GPLv2
|
||||
VERSION := git
|
||||
DOWNLOADS := seoul.git
|
||||
|
||||
URL(seoul) := https://github.com/alex-ab/seoul.git
|
||||
# branch genode_18_05
|
||||
REV(seoul) := 01482004511abec65704ff9c32355f0e79ecf84a
|
||||
URL(seoul) := https://github.com/ehmry/seoul.git
|
||||
# branch PARAM
|
||||
REV(seoul) := f9b1d0a699971cf55d9e974a3caf77ef86cd6c0b
|
||||
DIR(seoul) := src/app/seoul
|
||||
|
||||
#
|
||||
|
Loading…
x
Reference in New Issue
Block a user