gambit-unstable: 2020-05-15 -> 2020-07-29
This commit is contained in:
parent
ccd458053b
commit
cb06aefd39
@ -1,13 +1,13 @@
|
|||||||
{ callPackage, fetchFromGitHub, gambit-support }:
|
{ callPackage, fetchFromGitHub, gambit-support }:
|
||||||
|
|
||||||
callPackage ./build.nix {
|
callPackage ./build.nix {
|
||||||
version = "unstable-2020-05-15";
|
version = "unstable-2020-07-29";
|
||||||
git-version = "4.9.3-1109-g3c4d40de";
|
git-version = "4.9.3-1232-gbba388b8";
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "feeley";
|
owner = "feeley";
|
||||||
repo = "gambit";
|
repo = "gambit";
|
||||||
rev = "3c4d40de908ae03ca0e3d854edc2234ef401b36c";
|
rev = "bba388b80ca62a77883a8936d64b03316808696a";
|
||||||
sha256 = "1c9a6rys2kiiqb79gvw29nv3dwwk6hmi1q4jk1whcx7mds7q5dvr";
|
sha256 = "0iqlp1mvxz8g32kqrqm0phnnp1i5c4jrapqh2wqwa8fh1vgnizg1";
|
||||||
};
|
};
|
||||||
gambit-params = gambit-support.unstable-params;
|
gambit-params = gambit-support.unstable-params;
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user