diff options
author | Keri Harris <keri@gentoo.org> | 2020-05-13 08:46:17 +0200 |
---|---|---|
committer | Keri Harris <keri@gentoo.org> | 2020-05-13 08:46:48 +0200 |
commit | bfcf3a9b4c7894d183715cd0630409cc754d009c (patch) | |
tree | 8279669a142b9e574e73f1dc8da774007d7c4561 /sci-mathematics/coq | |
parent | dev-python/google-api-python-client: Version bump, add py38 (diff) | |
download | gentoo-bfcf3a9b4c7894d183715cd0630409cc754d009c.tar.gz gentoo-bfcf3a9b4c7894d183715cd0630409cc754d009c.tar.bz2 gentoo-bfcf3a9b4c7894d183715cd0630409cc754d009c.zip |
dev-lang/swi-prolog: bump development version
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Keri Harris <keri@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions