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