error while installation.

[combab0]

Downloading/unpacking z3 (from claripy->-r requirements.txt (line 11))
  Getting page https://pypi.python.org/simple/z3/
  Could not fetch URL https://pypi.python.org/simple/z3/: 404 Client Error: Not Found
  Will skip URL https://pypi.python.org/simple/z3/ when looking for download links for z3 (from claripy->-r requirements.txt (line 11))
  Getting page https://pypi.python.org/simple/
  URLs to search for versions for z3 (from claripy->-r requirements.txt (line 11)):
  * https://pypi.python.org/simple/z3/
  Getting page https://pypi.python.org/simple/z3/
  Could not fetch URL https://pypi.python.org/simple/z3/: 404 Client Error: Not Found
  Will skip URL https://pypi.python.org/simple/z3/ when looking for download links for z3 (from claripy->-r requirements.txt (line 11))
  Could not find any downloads that satisfy the requirement z3 (from claripy->-r requirements.txt (line 11))
  Some externally hosted files were ignored (use --allow-external z3 to allow).
Cleaning up...
  Removing temporary dir /tmp/pip_build_root...
No distributions at all found for z3 (from claripy->-r requirements.txt (line 11))
Exception information:
Traceback (most recent call last):
  File "/usr/lib/python2.7/dist-packages/pip/basecommand.py", line 122, in main
    status = self.run(options, args)
  File "/usr/lib/python2.7/dist-packages/pip/commands/install.py", line 278, in run
    requirement_set.prepare_files(finder, force_root_egg_info=self.bundle, bundle=self.bundle)
  File "/usr/lib/python2.7/dist-packages/pip/req.py", line 1178, in prepare_files
    url = finder.find_requirement(req_to_install, upgrade=self.upgrade)
  File "/usr/lib/python2.7/dist-packages/pip/index.py", line 277, in find_requirement
    raise DistributionNotFound('No distributions at all found for %s' % req)
DistributionNotFound: No distributions at all found for z3 (from claripy->-r requirements.txt (line 11))

above message was copied from pip.log
to solve the problem I manually installed z3 but same error occured.
how should i do?
I can see same problem on macosx & ubuntu14.04(x86)

root@ubuntu:~/angr# pip install angr
Downloading/unpacking angr
  Could not find any downloads that satisfy the requirement angr
Cleaning up...
No distributions at all found for angr
Storing debug log for failure in /root/.pip/pip.log

"pip install angr" pip installation also fail. i think same problem occured.

[ltfish]

Thank you for trying out angr!

This is definitely a fault on our side. Before we address this issue tomorrow, you may want to temporarily remove z3 from the requirement.txt of claripy, then manually install z3 (https://github.com/Z3Prover/z3/releases). After installing z3, please make sure you can perform import z3 in Python.

[combab0]

ok thank you !