diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-04-03 04:54:17 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2023-04-03 04:54:43 +0200 |
| commit | dcff9c15ad81ab60ebbffc3d7514e75390f80cc3 (patch) | |
| tree | 70aa98c13a9cf6701c037682efca2f4d7a8492e8 /dev-python/websockets/metadata.xml | |
| parent | dev-python/blinker: Add GH remote-id (diff) | |
| download | gentoo-dcff9c15ad81ab60ebbffc3d7514e75390f80cc3.tar.gz gentoo-dcff9c15ad81ab60ebbffc3d7514e75390f80cc3.tar.bz2 gentoo-dcff9c15ad81ab60ebbffc3d7514e75390f80cc3.zip | |
dev-python/websockets: Bump to 11.0
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-python/websockets/metadata.xml')
| -rw-r--r-- | dev-python/websockets/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-python/websockets/metadata.xml b/dev-python/websockets/metadata.xml index b162fa66f853..65f11910b1a7 100644 --- a/dev-python/websockets/metadata.xml +++ b/dev-python/websockets/metadata.xml @@ -13,4 +13,7 @@ <remote-id type="github">aaugustin/websockets</remote-id> <remote-id type="pypi">websockets</remote-id> </upstream> + <use> + <flag name="native-extensions">Compiles native C extensions</flag> + </use> </pkgmetadata> |