root/pypi: links for yices-solver

root/pypi yices_solver-2.6.5.post24-py3-none-win_amd64.whl
root/pypi yices_solver-2.6.5.post24-py3-none-manylinux_2_28_x86_64.whl
root/pypi yices_solver-2.6.5.post24-py3-none-macosx_14_0_arm64.whl
root/pypi yices_solver-2.6.5.post24-py3-none-macosx_13_0_x86_64.whl
root/pypi yices_solver-2.6.4.post23-py3-none-win_amd64.whl
root/pypi yices_solver-2.6.4.post23-py3-none-manylinux_2_28_x86_64.whl
root/pypi yices_solver-2.6.4.post23-py3-none-macosx_14_0_arm64.whl
root/pypi yices_solver-2.6.4.post23-py3-none-macosx_13_0_x86_64.whl