Ehmry - ce9ee004b0 Update dhall-genode to use 20.0.0 prelude		2020-12-19 17:16:13 +01:00
..
default.nix	Relicense as MIT	2020-08-27 17:15:09 +02:00
genode.nix	Update dhall-genode to use 20.0.0 prelude	2020-12-19 17:16:13 +01:00