public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #63575 from layus/dafny-update2 

dafny: 2.1.0 -> 2.3.0
This commit is contained in:
lewo 2019-06-26 19:20:39 +02:00 committed by GitHub
parent 5954bf8f8c 514415dede
commit 6e139a4120
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/top-level/dotnet-packages.nix
View File

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