2018-07-21 01:44:44 +01:00
|
|
|
{lib, fetchFromGitHub}:
|
2018-06-06 22:05:02 +01:00
|
|
|
|
|
|
|
with builtins;
|
|
|
|
|
|
|
|
listToAttrs (map (v: {
|
|
|
|
inherit (v) name;
|
2018-07-05 05:12:38 +01:00
|
|
|
value = fetchFromGitHub {
|
2018-06-06 22:05:02 +01:00
|
|
|
name = "${v.name}-${v.version}";
|
2018-07-05 05:12:38 +01:00
|
|
|
owner = "DFgraphics";
|
|
|
|
repo = v.name;
|
|
|
|
rev = v.version;
|
|
|
|
sha256 = v.sha256;
|
2018-06-06 22:05:02 +01:00
|
|
|
meta = with lib; {
|
|
|
|
platforms = platforms.all;
|
|
|
|
maintainers = [ maintainers.matthewbauer ];
|
|
|
|
license = licenses.free;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}) (fromJSON (readFile ./themes.json)))
|