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

Commits on May 7, 2018

  1. lean: 3.3.0 -> 3.4.1 

    Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/lean/versions.

These checks were done:

- built on NixOS
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean -h’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean --help’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanpkg help’ got 0 exit code
- found 3.4.1 with grep in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1
- directory tree listing: https://gist.github.com/198504c00746718749b3019653fe78fd
    R. RyanTM committed May 7, 2018
    Copy the full SHA
    639376a View commit details
    Browse the repository at this point in the history

  2. Merge pull request #40093 from r-ryantm/auto-update/lean 

    lean: 3.3.0 -> 3.4.1
    @gebner
    gebner committed May 7, 2018
    Copy the full SHA
    5347d89 View commit details
    Browse the repository at this point in the history