2020-01-17 01:24:34 +01:00
|
|
|
# SPDX-License-Identifier: CC0-1.0
|
2019-09-27 12:38:35 +02:00
|
|
|
|
2020-02-19 03:22:06 +01:00
|
|
|
{ callPackage, dhallApps }:
|
2019-08-18 18:42:13 +02:00
|
|
|
|
|
|
|
rec {
|
2019-10-16 17:09:45 +02:00
|
|
|
prelude = prelude_11_0_0;
|
|
|
|
prelude_11_0_0 = callPackage ./prelude-11.0.0.nix { };
|
2019-09-24 00:59:53 +02:00
|
|
|
prelude_9_0_0 = callPackage ./prelude-9.0.0.nix { };
|
2020-02-19 03:22:06 +01:00
|
|
|
genode = callPackage ./genode.nix { inherit dhallApps prelude; };
|
2019-08-18 18:42:13 +02:00
|
|
|
}
|