lean: 3.6.0 -> 3.6.1

[r-ryantm]

Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://github.com/leanprover-community/lean/releases.

meta.description for lean is: "Automatic and interactive theorem prover"

meta.homepage for lean is: "https://leanprover.github.io/"

• Quoted meta.homepage for RFC 45

Compare changes on GitHub

Checks done (click to expand)

• built on NixOS

• The tests defined in passthru.tests, if any, passed

• 0 of 0 passed binary check by having a zero exit code.

• 0 of 0 passed binary check by having the new version present in output.

• found 3.6.1 with grep in /nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1

• directory tree listing: https://gist.github.com/e2c2f97d1f1bd4a7873fa59e974c5804

• du listing: https://gist.github.com/f270110e5985cdc6f1f0f8420d8aee71

Rebuild report (if merged into master) (click to expand)

8 total rebuild path(s)

2 package rebuild(s)

2 x86_64-linux rebuild(s)
2 i686-linux rebuild(s)
2 x86_64-darwin rebuild(s)
2 aarch64-linux rebuild(s)

First fifty rebuilds by attrpath
lean
lean3

Instructions to test this update (click to expand)

Either download from Cachix:

nix-store -r /nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1 \
  --option binary-caches 'https://cache.nixos.org/ https://r-ryantm.cachix.org/' \
  --option trusted-public-keys '
  r-ryantm.cachix.org-1:gkUbLkouDAyvBdpBX0JOdIiD2/DP1ldF3Z3Y6Gqcc4c=
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  '

(r-ryantm's Cachix cache is only trusted for this store-path realization.)
For the Cachix download to work, your user must be in the trusted-users list or you can use sudo since root is effectively trusted.

Or, build yourself:

nix-build -A lean https://github.com/r-ryantm/nixpkgs/archive/5b833c08ef127a48cd315dae774d6bbb85ed1bba.tar.gz

After you've downloaded or built it, look at the files and if there are any, run the binaries:

ls -la /nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1
ls -la /nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/bin

cc @thoughtpolice @gebner for testing.