5c5b56d1e0
depot: update recipe hashes
2021-03-12 12:08:24 +01:00
64165d829e
depot: update recipe hashes
2021-02-23 12:07:18 +01:00
a981fb864c
depot: update recipe hashes
2021-01-25 14:00:43 +01:00
1bef11accf
depot: update recipe hashes
2020-12-18 09:10:52 +01:00
f2e0c164c2
depot: update recipe hashes
2020-11-27 09:21:06 +01:00
91f8281618
depot: update recipe hashes
2020-10-09 13:35:57 +02:00
c59c266afc
depot: update recipe hashes
2020-09-17 14:23:14 +02:00
c649307720
depot: update recipe hashes
2020-08-28 08:29:12 +02:00
7d0cb9620b
depot: update recipe hashes
2020-08-25 11:50:41 +02:00
de795b1a6e
depot: update recipe hashes
2020-07-13 11:33:53 +02:00
4450b37ff5
depot: update recipe hashes
2020-06-29 14:25:28 +02:00
6006051fb9
depot: update recipe hashes
2020-05-27 11:56:47 +02:00
0f27d139bd
depot: update recipe hashes
2020-05-18 10:16:59 +02:00
dd899fde29
depot: update recipe hashes
2020-04-24 14:37:57 +02:00
b60b591d06
depot: update recipe hashes
2020-04-17 12:40:13 +02:00
46fa8197a2
depot: update recipe hashes
2020-03-26 11:39:02 +01:00
5affd51250
depot: update recipe hashes
2020-02-28 08:59:43 +01:00
4cccf74664
depot: update recipe hashes
2020-02-20 12:11:23 +01:00
57ea1dbdd3
depot: update recipe hashes
2020-02-10 14:29:06 +01:00
90535a1401
depot: update recipe hashes
2020-02-04 15:51:10 +01:00
b931b67cba
depot: update recipe hashes
2019-12-19 17:01:43 +01:00
11ef8e1ff2
depot: update recipe hashes
2019-11-28 09:06:39 +01:00
7ed1d7f11d
depot: update recipe hashes
2019-11-19 14:54:14 +01:00
4a7b0e99a6
depot: update recipe hashes
2019-09-20 14:14:16 +02:00
b2c59576ae
depot: update recipe hashes
2019-08-28 14:36:56 +02:00
312f801f8a
depot: update recipe hashes
2019-08-21 13:25:26 +02:00
17d32b3e15
depot: update recipe hashes
2019-07-09 09:06:54 +02:00
3c4c460f82
depot: update recipe hashes
2019-06-13 13:40:37 +02:00
2b183f9497
depot: update recipe hashes
2019-05-29 10:20:52 +02:00
ba51800b31
depot: update recipe hashes
2019-05-06 16:15:27 +02:00
6ea1179145
depot: update recipe hashes
2019-04-09 12:30:35 +02:00
d027f12764
depot: update recipe hashes
2019-04-02 09:36:39 +02:00
ebe71a12ed
depot: update recipe hashes
2019-03-19 11:12:36 +01:00
36adbef3f9
depot: update recipe hashes
2019-02-28 11:34:45 +01:00
46a29532a9
depot: update recipe hashes
2019-02-26 14:47:02 +01:00
0e0b6bdde7
depot: update recipe hashes
2019-02-19 11:13:56 +01:00
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
