diff options
author | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2019-06-20 17:15:27 +0200 |
---|---|---|
committer | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2019-06-20 17:15:27 +0200 |
commit | 514415deded21962c3fa99ceb796b894e44517ef (patch) | |
tree | a90f7e258379eb6e4c1381c91de29d2e902ffb10 /pkgs/top-level/dotnet-packages.nix | |
parent | ac28607a039eb8d04f756265d6ead55efea4c27f (diff) |
dafny: 2.1.0 -> 2.3.0
Diffstat (limited to 'pkgs/top-level/dotnet-packages.nix')
-rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index ea4a0962a43d..1740b3278097 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -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 = '' |