diff options
author | Michał Górny <mgorny@gentoo.org> | 2020-05-30 13:10:53 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2020-05-30 13:51:39 +0200 |
commit | 5739dfbab560fe2c4960dc40d91d4e3b15d93f3a (patch) | |
tree | 4e2e855ab716f9b6b0d8bc399398f380fb23026a /sys-kernel/linux-headers | |
parent | dev-python/hypothesis: Keyword 4.57.1 ppc, #703174 (diff) | |
download | gentoo-5739dfbab560fe2c4960dc40d91d4e3b15d93f3a.tar.gz gentoo-5739dfbab560fe2c4960dc40d91d4e3b15d93f3a.tar.bz2 gentoo-5739dfbab560fe2c4960dc40d91d4e3b15d93f3a.zip |
dev-python/hypothesis: Keyword 5.16.0 ppc, #703174
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sys-kernel/linux-headers')
0 files changed, 0 insertions, 0 deletions