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
base: e53c4e20d921
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: f6048691b316
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on May 2, 2020

  1. lean: 3.9.0 -> 3.10.0

    @marsam
    marsam committed May 2, 2020
    Copy the full SHA
    3253c03 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2020

  1. Merge pull request #86629 from marsam/update-lean

    @gebner
    gebner committed May 3, 2020
    Copy the full SHA
    f604869 View commit details
    Browse the repository at this point in the history