root/pypi: links for z3-solver-crosshair
root/pypi z3-solver-crosshair-4.8.8.0.1.tar.gz
root/pypi z3_solver_crosshair-4.8.8.0.1-py2.py3-none-manylinux2010_x86_64.manylinux1_x86_64.whl
root/pypi z3_solver_crosshair-4.8.8.0.1-py2.py3-none-macosx_10_9_x86_64.whl