diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-04-15 07:08:19 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-04-15 10:33:52 +0200 |
| commit | e14610628743a34e60fc39362201ffdd77d8b9d1 (patch) | |
| tree | 69741d22db3095dc60efa40810ca55511f6d1511 /dev-python/jedi/Manifest | |
| parent | media-libs/woff2: also install cli tools (diff) | |
| download | gentoo-e14610628743a34e60fc39362201ffdd77d8b9d1.tar.gz gentoo-e14610628743a34e60fc39362201ffdd77d8b9d1.tar.bz2 gentoo-e14610628743a34e60fc39362201ffdd77d8b9d1.zip | |
dev-python/hypothesis: Bump to 5.8.6
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-python/jedi/Manifest')
0 files changed, 0 insertions, 0 deletions