mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 07:22:25 +00:00
f8b2fd522b
Fixes #4128
12 lines
456 B
Plaintext
12 lines
456 B
Plaintext
LICENSE := AGPLv3 + GCC runtime library exception
|
|
VERSION := 0
|
|
DOWNLOADS := ada-runtime.git ada-runtime-alis.git
|
|
|
|
URL(ada-runtime) := https://github.com/m-stein/ada-runtime.git
|
|
REV(ada-runtime) := c3e46dbb46a088cc305addee4556062c7624eb90
|
|
DIR(ada-runtime) := ada-runtime
|
|
|
|
URL(ada-runtime-alis) := https://github.com/m-stein/ada-runtime-alis.git
|
|
REV(ada-runtime-alis) := de89be3a0eba9ee46ef870b234d1234b84c0beb0
|
|
DIR(ada-runtime-alis) := ada-runtime-alis
|