LICENSE   := GPLv2
VERSION   := git
DOWNLOADS := seed7.git

URL(seed7) := https://github.com/ThomasMertes/seed7.git
REV(seed7) := 9cd3424ad0be93bf45ec94267fed3c7a763cc01a
DIR(seed7) := src

PATCHES := patches/genode.patch patches/build.patch
