diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2022-07-14 16:36:36 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-07-14 16:37:14 +0200 |
| commit | 3ba4a0e263f7dc517beda7a1ff7adb641460d590 (patch) | |
| tree | d4a74f9e2d42bf226a20351ce8ebc813cb592c32 /dev-python/google-api-python-client | |
| parent | 09843a875f741d97a28a528d04dee47d0aa0347b (diff) | |
| download | gentoo-3ba4a0e263f7dc517beda7a1ff7adb641460d590.tar.gz gentoo-3ba4a0e263f7dc517beda7a1ff7adb641460d590.tar.bz2 gentoo-3ba4a0e263f7dc517beda7a1ff7adb641460d590.zip | |
app-emacs/proofgeneral: bump to 4.5
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/google-api-python-client')
0 files changed, 0 insertions, 0 deletions