diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2025-10-14 21:20:46 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2025-10-14 21:43:17 +0200 |
| commit | 727ab363d94c28e8f967fd37e95e870d3bd76fa7 (patch) | |
| tree | da947af8f283b18fd0c565a908ad745ba75af696 /dev-lang/python | |
| parent | 2b889eb63d677daca8741914a40184aa8140cfde (diff) | |
| download | gentoo-727ab363d94c28e8f967fd37e95e870d3bd76fa7.tar.gz gentoo-727ab363d94c28e8f967fd37e95e870d3bd76fa7.tar.bz2 gentoo-727ab363d94c28e8f967fd37e95e870d3bd76fa7.zip | |
sci-mathematics/lean: increase ulimit for version 4.14.0
Closes: https://bugs.gentoo.org/955209
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/python')
0 files changed, 0 insertions, 0 deletions