diff options
author | jeschli <jeschli@gmail.com> | 2018-07-09 14:31:18 +0200 |
---|---|---|
committer | jeschli <jeschli@gmail.com> | 2018-07-09 14:31:18 +0200 |
commit | d1c6baf00e98a0229fc7fd96874623efc8417b05 (patch) | |
tree | eaba9481ed208af1086690a9c07ca948b047389a /krebs/5pkgs/simple/thesauron | |
parent | b439342e7533e3f695db8a46576c54d180f56a58 (diff) | |
parent | d6df7ae483b984b90bdc8d4540301ef394885a98 (diff) |
Merge remote-tracking branch 'origin/staging/jeschli'
Diffstat (limited to 'krebs/5pkgs/simple/thesauron')
-rw-r--r-- | krebs/5pkgs/simple/thesauron/default.nix | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/krebs/5pkgs/simple/thesauron/default.nix b/krebs/5pkgs/simple/thesauron/default.nix deleted file mode 100644 index d543319f2..000000000 --- a/krebs/5pkgs/simple/thesauron/default.nix +++ /dev/null @@ -1,7 +0,0 @@ -{ fetchgit, callPackage }: let - src = fetchgit { - url = "https://github.com/krebs/thesauron"; - rev = "8ac22588cf2c20465e3c9348e7ce04885599c2a5"; - "sha256"= "1ivkjl235dnm5aaqqvarnxkz7zh0gvah22b0fqwlsflrcd5wmgva"; - }; -in callPackage src {} |