gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-25 07:08:13 -07:00
Code Issues Projects Releases Wiki Activity
Files
master
gentoo/sci-mathematics/lean
History
Maciej Barć 90a4356bca sci-mathematics/lean: drop old 4.23.0 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2026-07-04 15:45:59 +02:00
..
lean-4.24.0.ebuild
…
Manifest
sci-mathematics/lean: drop old 4.23.0
2026-07-04 15:45:59 +02:00
metadata.xml
…