diff options
| author | R. RyanTM <ryantm+bot@ryantm.com> | 2018-05-07 02:24:49 -0700 |
|---|---|---|
| committer | R. RyanTM <ryantm+bot@ryantm.com> | 2018-05-07 02:24:49 -0700 |
| commit | 639376aff6679e9add23f64089c95944bd2e6b41 (patch) | |
| tree | 774a3352e5ed07359a376bd48cb70d68ef12098b /pkgs/development/python-modules/httpserver | |
| parent | b45ef79b74d267891a11c1775a473c610ecebe78 (diff) | |
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
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions