diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2024-01-25 02:30:58 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-01-25 04:21:35 +0100 |
| commit | 892d16ff94306c2b2fc952dce7a63245ff7caba5 (patch) | |
| tree | b872d43ac4a2bf18374f4a68026beb7e57006278 /dev-python/google-api-python-client | |
| parent | ad86412196e98be615134ecc2e81b670daba7089 (diff) | |
| download | gentoo-892d16ff94306c2b2fc952dce7a63245ff7caba5.tar.gz gentoo-892d16ff94306c2b2fc952dce7a63245ff7caba5.tar.bz2 gentoo-892d16ff94306c2b2fc952dce7a63245ff7caba5.zip | |
sci-mathematics/coq: bump to 8.19.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/google-api-python-client')
0 files changed, 0 insertions, 0 deletions