12 Commits

Author	SHA1	Message	Date
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