2018-09-09 08:12:36 +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;
|
2020-02-09 16:00:23 +00:00
|
|
|
maintainers = [ maintainers.matthewbauer maintainers.shazow ];
|
2018-06-06 22:05:02 +01:00
|
|
|
license = licenses.free;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}) (fromJSON (readFile ./themes.json)))
|