dafny: 2.1.0 -> 2.3.0
This commit is contained in:
parent
ac28607a03
commit
514415dede
|
@ -305,14 +305,14 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
|
||||||
|
|
||||||
Boogie = buildDotnetPackage rec {
|
Boogie = buildDotnetPackage rec {
|
||||||
baseName = "Boogie";
|
baseName = "Boogie";
|
||||||
version = "2018-05-28";
|
version = "2019-06-20";
|
||||||
name = "${baseName}-unstable-${version}";
|
name = "${baseName}-unstable-${version}";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "boogie-org";
|
owner = "boogie-org";
|
||||||
repo = "boogie";
|
repo = "boogie";
|
||||||
rev = "fc97aac639505f46cda7904dae95c9557716d037";
|
rev = "2e8fae4dc1724d8f9e7b1f877116e56b0773337e";
|
||||||
sha256 = "1hjksc5sapw1shxjwg0swja5afman8i15wnv5b6rzkqd4mg8y6nz";
|
sha256 = "01wjps3yfx8q0qy0zrmmfd1ixjxi2dhkn1wfazb5qm2slav39dp2";
|
||||||
};
|
};
|
||||||
|
|
||||||
# emulate `nuget restore Source/Boogie.sln`
|
# emulate `nuget restore Source/Boogie.sln`
|
||||||
|
@ -359,11 +359,11 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
|
||||||
|
|
||||||
Dafny = buildDotnetPackage rec {
|
Dafny = buildDotnetPackage rec {
|
||||||
baseName = "Dafny";
|
baseName = "Dafny";
|
||||||
version = "2.1.0";
|
version = "2.3.0";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "https://github.com/Microsoft/dafny/archive/v${version}.tar.gz";
|
url = "https://github.com/Microsoft/dafny/archive/v${version}.tar.gz";
|
||||||
sha256 = "1iyhy0zpi6wvqif7826anzgdipgsy5bk775ds9qqwfw27j7x6fy5";
|
sha256 = "0s6ihx32kda7400lvdrq60l46c11nki8b6kalir2g4ic508f6ypa";
|
||||||
};
|
};
|
||||||
|
|
||||||
postPatch = ''
|
postPatch = ''
|
||||||
|
|
Loading…
Reference in a new issue