diff options
Diffstat (limited to 'pkgs/development/compilers/gerbil/unstable.nix')
-rw-r--r-- | pkgs/development/compilers/gerbil/unstable.nix | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/pkgs/development/compilers/gerbil/unstable.nix b/pkgs/development/compilers/gerbil/unstable.nix deleted file mode 100644 index 4b0d3289c107..000000000000 --- a/pkgs/development/compilers/gerbil/unstable.nix +++ /dev/null @@ -1,19 +0,0 @@ -{ callPackage, fetchFromGitHub, gambit-unstable, gambit-support, pkgs, gccStdenv }: - -callPackage ./build.nix rec { - version = "unstable-2023-12-06"; - git-version = "0.18.1"; - src = fetchFromGitHub { - owner = "mighty-gerbils"; - repo = "gerbil"; - rev = "23c30a6062cd7e63f9d85300ce01585bb9035d2d"; - sha256 = "15fh0zqkmnjhan1mgymq5fgbjsh5z9d2v6zjddplqib5zd2s3z6k"; - fetchSubmodules = true; - }; - inherit gambit-support; - gambit-params = gambit-support.unstable-params; - # These are available in pkgs.gambit-unstable.passthru.git-version, etc. - gambit-git-version = "4.9.5-78-g8b18ab69"; - gambit-stampYmd = "20231029"; - gambit-stampHms = "163035"; -} |