2020-03-21 04:52:59 +00:00
|
|
|
{ callPackage, fetchFromGitHub, gambit-support }:
|
2018-03-27 03:44:13 +00:00
|
|
|
|
2023-08-12 12:45:33 +00:00
|
|
|
callPackage ./build.nix rec {
|
2023-10-18 06:24:28 +00:00
|
|
|
version = "unstable-2023-12-04";
|
|
|
|
|
git-version = "4.9.5-84-g6b19d0c9";
|
|
|
|
|
stampYmd = 20231204;
|
|
|
|
|
stampHms = 204859;
|
|
|
|
|
rev = "6b19d0c9084341306bbb7d6895321090a82988a0";
|
2018-11-18 03:53:04 +00:00
|
|
|
src = fetchFromGitHub {
|
2020-11-13 00:37:27 +00:00
|
|
|
owner = "gambit";
|
2018-11-18 03:53:04 +00:00
|
|
|
repo = "gambit";
|
2023-08-12 12:45:33 +00:00
|
|
|
inherit rev;
|
2023-10-18 06:24:28 +00:00
|
|
|
sha256 = "0njcz9krak8nfyk3x6bc6m1rixzsjc1fyzhbz2g3aq5v8kz9mkl5";
|
2018-03-27 03:44:13 +00:00
|
|
|
};
|
2020-03-21 04:52:59 +00:00
|
|
|
gambit-params = gambit-support.unstable-params;
|
2018-03-27 03:44:13 +00:00
|
|
|
}
|
