Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 5954bf8f8ced
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 6e139a4120df
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Jun 20, 2019

  1. dafny: 2.1.0 -> 2.3.0

    @layus
    layus committed Jun 20, 2019

    Verified

    This commit was signed with the committer’s verified signature. The key has expired.
    vbgl Vincent Laporte
    GPG key ID: EBD582ADDDB1F81F
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    514415d View commit details

Commits on Jun 26, 2019

  1. Merge pull request #63575 from layus/dafny-update2 

    dafny: 2.1.0 -> 2.3.0
    @nlewo
    nlewo authored Jun 26, 2019
    Copy the full SHA
    6e139a4 View commit details
Showing with 5 additions and 5 deletions.
  1. +5 −5 pkgs/top-level/dotnet-packages.nix
10 changes: 5 additions & 5 deletions pkgs/top-level/dotnet-packages.nix
View file
Original file line number Diff line number Diff line change
@@ -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 = ''