mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
parent
6355b48eee
commit
cb531e4cf9
@ -1 +1 @@
|
||||
86595132085bfd8d141682fb04d96cb6f688a71a
|
||||
c8c178327b18e1f1589b9a188427d9332fa95454
|
||||
|
@ -6,6 +6,6 @@ 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
|
||||
URL(ada-runtime-alis) := https://github.com/cnuke/ada-runtime-alis.git
|
||||
REV(ada-runtime-alis) := 7af7f59cccb52ed472895f4ec095260716233c13
|
||||
DIR(ada-runtime-alis) := ada-runtime-alis
|
||||
|
Loading…
x
Reference in New Issue
Block a user