diff options
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index ed34f7984184..37d468997cfd 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -299,14 +299,14 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { Boogie = buildDotnetPackage rec { baseName = "Boogie"; - version = "2017-01-03"; + version = "2018-05-28"; name = "${baseName}-unstable-${version}"; src = fetchFromGitHub { owner = "boogie-org"; repo = "boogie"; - rev = "5e42f0dd2891b2b85a9198052e55592a2943b7ef"; - sha256 = "1mjnf96hbn9abgzyvmrfxlhnm213290xb9wca7rnnl12i4fa4ahl"; + rev = "fc97aac639505f46cda7904dae95c9557716d037"; + sha256 = "1hjksc5sapw1shxjwg0swja5afman8i15wnv5b6rzkqd4mg8y6nz"; }; # emulate `nuget restore Source/Boogie.sln` |