12 Commits

Author	SHA1	Message	Date
Christian Helmuth	583f2d6a36	depot: update recipe hashes	2023-05-30 12:13:34 +02:00
Christian Helmuth	c58d799f16	depot: update recipe hashes	2022-11-17 08:00:37 +01:00
Christian Helmuth	1d52bd017d	depot: update recipe hashes	2021-05-28 14:16:46 +02:00
Christian Helmuth	f2e0c164c2	depot: update recipe hashes	2020-11-27 09:21:06 +01:00
Norman Feske	7d0cb9620b	depot: update recipe hashes	2020-08-25 11:50:41 +02:00
Christian Helmuth	312f801f8a	depot: update recipe hashes	2019-08-21 13:25:26 +02:00
Christian Helmuth	2b183f9497	depot: update recipe hashes	2019-05-29 10:20:52 +02:00
Christian Helmuth	6ea1179145	depot: update recipe hashes	2019-04-09 12:30:35 +02:00
Christian Helmuth	36adbef3f9	depot: update recipe hashes	2019-02-28 11:34:45 +01:00
Christian Helmuth	46a29532a9	depot: update recipe hashes	2019-02-26 14:47:02 +01:00
Norman Feske	0e0b6bdde7	depot: update recipe hashes	2019-02-19 11:13:56 +01:00
Alexander Senier	5ccae43552	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-02-19 11:08:17 +01:00