Ehmry - b6c1807fa7 Update dhall-genode to use 20.0.0 prelude		2020-12-20 14:20:18 +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-20 14:20:18 +01:00