This website requires JavaScript.
Explore
Help
Sign In
ExternalVendorCode
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/genodelabs/genode.git
synced
2024-12-28 01:28:53 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
dabddd4c89
genode
/
repos
/
libports
/
ports
/
ada-runtime.hash
2 lines
41 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Rename Ada runtime to SPARK runtime The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144
2019-01-29 17:01:47 +00:00
6fcdbbc50a6e5d2bc031f9191bd57854a27c5e09
Reference in New Issue
Copy Permalink