--- Begin Message ---
Subject: |
python-language-server-0.31.7 fails to build |
Date: |
Fri, 20 Mar 2020 21:44:37 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.6.0 |
View build log at
'/var/log/guix/drvs/3m/x0662f42mrhvsvyahlj8ajyykq9hax-python-language-server-0.31.7.drv.bz2'.
The build log listed above ended with:
...
running "python setup.py" with command "test" and parameters ()
running test
Searching for jedi<0.16,>=0.14.1
Reading https://pypi.org/simple/jedi/
Download error on https://pypi.org/simple/jedi/: [Errno -2] Name or
service not known -- Some packages may not be found!
Couldn't retrieve index page for 'jedi'
Scanning index of all packages (this may take a while)
Reading https://pypi.org/simple/
Download error on https://pypi.org/simple/: [Errno -2] Name or service
not known -- Some packages may not be found!
No local packages or working download links found for jedi<0.16,>=0.14.1
error: Could not find suitable distribution for
Requirement.parse('jedi<0.16,>=0.14.1')
command "python" "-c" "import setuptools,
tokenize;__file__='setup.py';f=getattr(tokenize, 'open',
open)(__file__);code=f.read().replace('\\r\\n',
'\\n');f.close();exec(compile(code, __file__, 'exec'))" "test" failed
with status 1
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#40159: python-language-server-0.31.7 fails to build |
Date: |
Sat, 21 Mar 2020 11:59:45 +0100 |
User-agent: |
Notmuch/0.29.3 (https://notmuchmail.org) Emacs/26.3 (x86_64-pc-linux-gnu) |
ryan <address@hidden> writes:
> View build log at
> '/var/log/guix/drvs/3m/x0662f42mrhvsvyahlj8ajyykq9hax-python-language-server-0.31.7.drv.bz2'.
>
> The build log listed above ended with:
>
> ...
> running "python setup.py" with command "test" and parameters ()
> running test
> Searching for jedi<0.16,>=0.14.1
> Reading https://pypi.org/simple/jedi/
> Download error on https://pypi.org/simple/jedi/: [Errno -2] Name or
> service not known -- Some packages may not be found!
> Couldn't retrieve index page for 'jedi'
> Scanning index of all packages (this may take a while)
> Reading https://pypi.org/simple/
> Download error on https://pypi.org/simple/: [Errno -2] Name or service
> not known -- Some packages may not be found!
> No local packages or working download links found for jedi<0.16,>=0.14.1
> error: Could not find suitable distribution for
> Requirement.parse('jedi<0.16,>=0.14.1')
Whoops, thanks for reporting this issue. Fixed in
dcff9bda97d088a717d6f7c01bdf7c0e68d62b9b.
signature.asc
Description: PGP signature
--- End Message ---