Links for mujoco
mujoco-3.3.7.tar.gz