2020-05-29 06:06:01 +00:00
|
|
|
{ callPackage, fetchFromGitHub, gambit-support }:
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
|
callPackage ./build.nix {
|
2023-08-10 07:59:29 +00:00
|
|
|
version = "unstable-2023-08-06";
|
|
|
|
|
git-version = "4.9.5-5-gf1fbe9aa";
|
|
|
|
|
stampYmd = 20230806;
|
|
|
|
|
stampHms = 195822;
|
2020-04-24 23:36:52 +00:00
|
|
|
src = fetchFromGitHub {
|
2023-08-04 22:07:22 +00:00
|
|
|
owner = "gambit";
|
2020-04-24 23:36:52 +00:00
|
|
|
repo = "gambit";
|
2023-08-10 07:59:29 +00:00
|
|
|
rev = "f1fbe9aa0f461e89f2a91bc050c1373ee6d66482";
|
|
|
|
|
sha256 = "0b0gd6cwj8zxwcqglpsnmanysiq4mvma2mrgdfr6qy99avhbhzxm";
|
2020-04-24 23:36:52 +00:00
|
|
|
};
|
2020-05-29 06:06:01 +00:00
|
|
|
gambit-params = gambit-support.unstable-params;
|
2020-04-24 23:36:52 +00:00
|
|
|
}
|
