diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2025-10-14 18:22:15 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2025-10-14 21:43:17 +0200 |
| commit | 2b889eb63d677daca8741914a40184aa8140cfde (patch) | |
| tree | 8717844c6ca831e3d9ebbb3067b03d997720483b /dev-lang/python/python-0.3.13.9.ebuild | |
| parent | e80591727c060b041c33d9e521f0c8ba1bf7eac2 (diff) | |
| download | gentoo-2b889eb63d677daca8741914a40184aa8140cfde.tar.gz gentoo-2b889eb63d677daca8741914a40184aa8140cfde.tar.bz2 gentoo-2b889eb63d677daca8741914a40184aa8140cfde.zip | |
sci-mathematics/lean: bump to 4.23.0
Closes: https://bugs.gentoo.org/959310
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/python/python-0.3.13.9.ebuild')
0 files changed, 0 insertions, 0 deletions