Ehmry - 658fa243df Explicitly strip the solo5 library ... The server7 hydra is producing a different binary than my laptop.		2020-01-24 14:46:51 +01:00
..
default.nix	Explicitly strip the solo5 library	2020-01-24 14:46:51 +01:00
genode.patch	Move pkgs to packages	2020-01-17 14:12:57 +01:00