diff options
Diffstat (limited to 'pkgs/development/compilers/gerbil/gerbil-utils.nix')
-rw-r--r-- | pkgs/development/compilers/gerbil/gerbil-utils.nix | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/pkgs/development/compilers/gerbil/gerbil-utils.nix b/pkgs/development/compilers/gerbil/gerbil-utils.nix deleted file mode 100644 index ef6405c76304..000000000000 --- a/pkgs/development/compilers/gerbil/gerbil-utils.nix +++ /dev/null @@ -1,26 +0,0 @@ -{ lib, fetchFromGitHub, ... }: - -{ - pname = "gerbil-utils"; - version = "unstable-2023-12-06"; - git-version = "0.4-13-g9398865"; - softwareName = "Gerbil-utils"; - gerbil-package = "clan"; - version-path = "version"; - - pre-src = { - fun = fetchFromGitHub; - owner = "mighty-gerbils"; - repo = "gerbil-utils"; - rev = "939886579508ff34b58a0d65bbb7d666125d0551"; - sha256 = "0dga03qq7iy12bnpxr6d40qhvihsvn3y87psf2w2clnpypjb3blx"; - }; - - meta = with lib; { - description = "Gerbil Clan: Community curated Collection of Common Utilities"; - homepage = "https://github.com/fare/gerbil-utils"; - license = licenses.lgpl21; - platforms = platforms.unix; - maintainers = with maintainers; [ fare ]; - }; -} |