libmujoco-dev_2.2.2-3ubuntu2_amd64.deb
libmujoco-dev_3.5.0-2ubuntu1_amd64.deb
libmujoco-samples_2.2.2-3ubuntu2_amd64.deb
libmujoco-samples_3.5.0-2ubuntu1_amd64.deb
libmujoco2.2.2_2.2.2-3ubuntu2_amd64.deb
libmujoco3.5.0_3.5.0-2ubuntu1_amd64.deb