genode/repos/base-foc/ports/foc.port
2017-05-31 13:15:53 +02:00

7 lines
184 B
Plaintext

LICENSE := GPLv2
VERSION := git
DOWNLOADS := foc.git
URL(foc) := http://github.com/cproc/foc.git
REV(foc) := f201220aa686083d10805a91343b67629b62fe30
DIR(foc) := src/kernel/foc