diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2023-05-25 01:15:06 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-05-25 01:15:06 +0200 |
| commit | fe3cf754c1e7031e14cfbe8491fc00e6de38ab81 (patch) | |
| tree | dd4823921442405bf84b9c5cf2675c6ada5823ff /dev-python/google-api-python-client | |
| parent | d94a5f976d1c356a129aabe889386a26907a9b92 (diff) | |
| download | gentoo-fe3cf754c1e7031e14cfbe8491fc00e6de38ab81.tar.gz gentoo-fe3cf754c1e7031e14cfbe8491fc00e6de38ab81.tar.bz2 gentoo-fe3cf754c1e7031e14cfbe8491fc00e6de38ab81.zip | |
sci-mathematics/lean: bump to 3.51.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/google-api-python-client')
0 files changed, 0 insertions, 0 deletions