diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-08-30 16:35:20 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-08-30 16:35:36 +0200 |
| commit | e0ab0acc6d5afb6a4ada31765fefad105c05a204 (patch) | |
| tree | 666e8f82ed9a621f9c36ea908533b71963b3329d /net-libs/libmediawiki | |
| parent | sci-mathematics/lean: bump to 3.48.0 (diff) | |
| download | gentoo-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/libmediawiki')
0 files changed, 0 insertions, 0 deletions