summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-08-30 16:35:20 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-08-30 16:35:36 +0200
commite0ab0acc6d5afb6a4ada31765fefad105c05a204 (patch)
tree666e8f82ed9a621f9c36ea908533b71963b3329d /net-libs
parentsci-mathematics/lean: bump to 3.48.0 (diff)
downloadgentoo-e0ab0acc6d5afb6a4ada31765fefad105c05a204.tar.gz
gentoo-e0ab0acc6d5afb6a4ada31765fefad105c05a204.tar.bz2
gentoo-e0ab0acc6d5afb6a4ada31765fefad105c05a204.zip
sci-mathematics/lean: drop old 3.45.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'net-libs')
0 files changed, 0 insertions, 0 deletions