diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2021-03-26 18:47:19 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2021-03-26 19:16:33 +0100 |
| commit | 0661cf48823bc0ec6aa8aecfef5debfb8b2d4dd4 (patch) | |
| tree | 3ba520893d5d2a220c526b39b15ecf87759b2d4e /pkgs/development/python-modules | |
| parent | 51f34b22f2a2805659fc959873e922e886c84cdc (diff) | |
elan: 0.10.3 -> 0.11.0
Also adapt the patchelf patch from rustup, since Lean 4 now dynamically
links to gmp.
Diffstat (limited to 'pkgs/development/python-modules')
0 files changed, 0 insertions, 0 deletions