2024-12-10 19:26:33 +00:00
|
|
|
{
|
|
|
|
callPackage,
|
|
|
|
fetchFromGitHub,
|
|
|
|
gambit-support,
|
|
|
|
}:
|
2017-06-03 00:26:52 +00:00
|
|
|
|
2018-11-19 14:14:15 +00:00
|
|
|
callPackage ./build.nix rec {
|
2023-11-03 07:41:33 +00:00
|
|
|
version = "0.18.1";
|
|
|
|
git-version = "0.18.1";
|
2018-11-19 14:14:15 +00:00
|
|
|
src = fetchFromGitHub {
|
2023-08-10 00:17:42 +00:00
|
|
|
owner = "mighty-gerbils";
|
2018-11-19 14:14:15 +00:00
|
|
|
repo = "gerbil";
|
2023-11-03 07:41:33 +00:00
|
|
|
rev = "23c30a6062cd7e63f9d85300ce01585bb9035d2d";
|
|
|
|
sha256 = "15fh0zqkmnjhan1mgymq5fgbjsh5z9d2v6zjddplqib5zd2s3z6k";
|
2023-08-10 00:17:42 +00:00
|
|
|
fetchSubmodules = true;
|
2017-06-03 00:26:52 +00:00
|
|
|
};
|
2023-08-10 00:17:42 +00:00
|
|
|
inherit gambit-support;
|
|
|
|
gambit-params = gambit-support.unstable-params;
|
2023-11-03 07:41:33 +00:00
|
|
|
gambit-git-version = "4.9.5-78-g8b18ab69";
|
|
|
|
gambit-stampYmd = "20231029";
|
|
|
|
gambit-stampHms = "163035";
|
2017-06-03 00:26:52 +00:00
|
|
|
}
|