Ehmry - 297956fb16 Update dhall-genode to use 20.0.0 prelude		2021-01-12 12:56:22 +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	2021-01-12 12:56:22 +01:00