Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

lean: 3.3.0 -> 3.4.1 #40093

Merged
merged 1 commit into from May 7, 2018
Merged

lean: 3.3.0 -> 3.4.1 #40093

merged 1 commit into from May 7, 2018

Conversation

r-ryantm
Copy link
Contributor

@r-ryantm r-ryantm commented May 7, 2018

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

cc @thoughtpolice @gebner for review

lean: 3.3.0 -> 3.4.1
639376a 
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
@gebner gebner merged commit 5347d89 into NixOS:master May 7, 2018
@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: lean

Partial log (click to expand)

post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1
shrinking /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean
shrinking /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanchecker
shrinking /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/lib/libleanshared.so
strip is /nix/store/j75dgadrff2d1fyc4fczmcgqkid2imdx-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/lib  /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin
patching script interpreter paths in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1
/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanpkg: interpreter directive changed from "/usr/bin/env bash" to "/nix/store/xn5gv3lpfy91yvfy9b0i7klfcxh9xskz-bash-4.4-p19/bin/bash"
checking for references to /build in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1...

@GrahamcOfBorg
Copy link

Success on x86_64-darwin (full log)

Attempted: lean

Partial log (click to expand)

-- Installing: /nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1/include/lean_parser.h
-- Installing: /nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1/include/lean_string.h
-- Installing: /nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1/include/lean_type_checker.h
-- Installing: /nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1/include/lean_univ.h
-- Installing: /nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1/bin/lean
post-installation fixup
strip is /nix/store/kdff2gim6417493yha769kh00n63lnrw-cctools-binutils-darwin/bin/strip
stripping (with command strip and flags -S) in /nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1/lib  /nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1/bin
patching script interpreter paths in /nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1
/nix/store/x50ff9jczx7hg2jr1sn8yrlzghlxvazs-lean-3.4.1/bin/leanpkg: interpreter directive changed from "/usr/bin/env bash" to "/nix/store/r8bx3qf1bpncb14i9gzma4vr089pc3pv-bash-4.4-p19/bin/bash"

@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: lean

Partial log (click to expand)

post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1
shrinking /nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1/bin/lean
shrinking /nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1/bin/leanchecker
shrinking /nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1/lib/libleanshared.so
strip is /nix/store/gp7fylxwn18b7pl2c18ks89hsiaxyfvf-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1/lib  /nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1/bin
patching script interpreter paths in /nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1
/nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1/bin/leanpkg: interpreter directive changed from "/usr/bin/env bash" to "/nix/store/a4qslf0yfs44mhnbagarn232sjnckhy0-bash-4.4-p19/bin/bash"
checking for references to /build in /nix/store/7pby201pk2qy1qs4kgvv92qns4i8njnr-lean-3.4.1...

@r-ryantm r-ryantm deleted the auto-update/lean branch May 7, 2018 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
10.rebuild-darwin: 1-10 10.rebuild-linux: 1-10
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@r-ryantm @GrahamcOfBorg @gebner