diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-06-20 08:39:37 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-06-20 08:39:37 +0200 |
| commit | 9cc3986c79a13fb1d08dd2dfa3ffa9ae7ce8b254 (patch) | |
| tree | a19b4308508193f3fc30caf26e9d39868df32ee3 /dev-python/jedi | |
| parent | dev-ruby/selenium-webdriver: cleanup (diff) | |
| download | gentoo-9cc3986c79a13fb1d08dd2dfa3ffa9ae7ce8b254.tar.gz gentoo-9cc3986c79a13fb1d08dd2dfa3ffa9ae7ce8b254.tar.bz2 gentoo-9cc3986c79a13fb1d08dd2dfa3ffa9ae7ce8b254.zip | |
dev-python/hypothesis: Bump to 5.16.2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-python/jedi')
0 files changed, 0 insertions, 0 deletions