diff options
| author | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2018-05-28 13:10:36 +0200 |
|---|---|---|
| committer | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2018-05-28 13:13:51 +0200 |
| commit | c8cb9a92d4fc1cd708b32278fcaa2074433ddf33 (patch) | |
| tree | a5e61a0733079f729a3d15b3d90f3ccd6457daca /pkgs/top-level/dotnet-packages.nix | |
| parent | 9a76a33e356c12f3bcc0720a19ef1fa6157063dd (diff) | |
dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28
Diffstat (limited to 'pkgs/top-level/dotnet-packages.nix')
| -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` |