Use fetchFromGitHub instead of fetchurl
This commit is contained in:
parent
d9b3d77448
commit
11458e36d7
|
@ -178,9 +178,11 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
|
||||||
pname = "Dafny";
|
pname = "Dafny";
|
||||||
version = "3.7.3";
|
version = "3.7.3";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchFromGitHub {
|
||||||
url = "https://github.com/Microsoft/dafny/archive/v${version}.tar.gz";
|
owner = "Microsoft";
|
||||||
sha256 = "0w9g8smx54pvg1y5zs90awv9plgyz5nkrnqbzi9m6dymhybblvx5";
|
repo = "dafny";
|
||||||
|
rev = "v${version}";
|
||||||
|
sha256 = "1knv6zvpq0bnngmlwkcqgjpdkqsgbiihs6a0cycb8ssn18s4ippr";
|
||||||
};
|
};
|
||||||
|
|
||||||
preBuild = ''
|
preBuild = ''
|
||||||
|
|
Loading…
Reference in a new issue