Christian Helmuth
6ea1179145
depot: update recipe hashes
2019-04-09 12:30:35 +02:00
Norman Feske
d027f12764
depot: update recipe hashes
2019-04-02 09:36:39 +02:00
Christian Helmuth
ebe71a12ed
depot: update recipe hashes
2019-03-19 11:12:36 +01: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
Christian Helmuth
271e2398f9
depot: update recipe hashes
2019-02-12 14:24:12 +01:00
Norman Feske
3a169d3a78
depot: update recipe hashes
2019-01-30 13:55:20 +01:00
Norman Feske
ed65267bc5
depot: update recipe hashes
2019-01-14 12:34:41 +01:00
Christian Helmuth
21a61cd583
depot: update recipe hashes
2019-01-07 12:43:37 +01:00
Christian Helmuth
11eecdc7bd
depot: update recipe hashes
2018-11-29 11:54:31 +01:00
Christian Helmuth
70e7499e48
depot: update recipe hashes
2018-11-16 15:07:53 +01:00
Christian Helmuth
0867da28a2
depot: update recipe hashes
2018-10-29 09:36:23 +01:00
Christian Helmuth
5dcf06d208
depot: update recipe hashes
2018-09-13 15:21:26 +02:00
Christian Helmuth
f4ea50c6ff
depot: update recipe hashes
2018-08-08 10:59:04 +02:00
Christian Helmuth
b485caf33c
depot: update recipe hashes
2018-07-03 09:40:11 +02:00
Christian Helmuth
246bacd9da
depot: update recipe hashes
2018-06-13 13:52:12 +02:00
Christian Helmuth
bd86efe5fe
depot: update recipe hashes
2018-05-31 14:02:21 +02:00
Christian Helmuth
3b7d6394d7
depot: update recipe hashes
2018-05-03 15:32:01 +02:00
Christian Helmuth
47569458d4
depot: update recipe hashes
2018-04-19 12:39:20 +02:00
Christian Helmuth
d54f95d497
depot: update recipe hashes
2018-04-10 13:03:26 +02:00
Christian Helmuth
b07d6eced8
depot: update recipe hashes
2018-03-29 14:59:07 +02:00
Christian Helmuth
1f7b5e75bf
depot: update recipe hashes
2018-03-08 12:05:10 +01:00
Christian Helmuth
a8f186c7d4
depot: update recipe hashes
2018-02-28 11:05:05 +01:00
Norman Feske
e79ce5a036
depot: update recipe hashes
2018-02-16 08:42:31 +01:00
Norman Feske
8d09d02b85
depot: update recipe hashes
2018-02-09 13:34:24 +01:00
Christian Helmuth
6013889028
depot: update recipe hashes
2018-01-17 12:14:44 +01:00
Christian Helmuth
553cf556af
depot: update recipe hashes
2017-12-21 15:01:56 +01:00
Christian Helmuth
25ca29002e
depot: update recipe hashes
2017-11-30 11:24:49 +01:00
Sebastian Sumpf
38abfc79f5
rump: reduce size of rump
...
* integrate rump's contrib code into Genode's build system and build what is
required by Genode, only
* checkout needed NetBSD sources directly from CVS
fixes #2589
2017-11-30 11:23:19 +01:00
Christian Helmuth
8b05deba13
rump: remove .git directories from src recipe
...
This spares us about 200M but still leaves us with 600M.
2017-11-09 12:18:40 +01:00
Sebastian Sumpf
a932fc2e5a
depot: recipe for rump/file_system
...
Ref #2446
2017-10-05 17:39:56 +02:00