amd64/cu128: links for z3-solver-mythril
root/pypi
z3-solver-mythril-4.8.4.1.tar.gz
root/pypi
z3_solver_mythril-4.8.4.1-py3-none-manylinux1_x86_64.whl