diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-12-15 09:31:04 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-12-15 09:41:12 +0100 |
| commit | ff43595f6fc27b3ffca106f140c5e677f7c38418 (patch) | |
| tree | ec28660d4ce17210b606d64be510513712b56f4d /dev-java | |
| parent | sci-mathematics/lean: drop old 3.48.0 (diff) | |
| download | gentoo-ff43595f6fc27b3ffca106f140c5e677f7c38418.tar.gz gentoo-ff43595f6fc27b3ffca106f140c5e677f7c38418.tar.bz2 gentoo-ff43595f6fc27b3ffca106f140c5e677f7c38418.zip | |
sci-mathematics/lean: bump to 3.50.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-java')
0 files changed, 0 insertions, 0 deletions