diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2022-05-18 21:13:55 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-05-18 21:29:55 +0200 |
| commit | 2d71d221298ddf5a54541872cfdb99799e1246d6 (patch) | |
| tree | 0cccaf0fa7582530c9f9986181fb6c5bd526e92b /dev-python/python-docs | |
| parent | f3a3f28637386afd7568e91d169bbbf3543e8203 (diff) | |
| download | gentoo-2d71d221298ddf5a54541872cfdb99799e1246d6.tar.gz gentoo-2d71d221298ddf5a54541872cfdb99799e1246d6.tar.bz2 gentoo-2d71d221298ddf5a54541872cfdb99799e1246d6.zip | |
sci-mathematics/lean: bump to 3.43.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/python-docs')
0 files changed, 0 insertions, 0 deletions