Index of /debian-ports/pool-ppc64/main/m/mujoco/

../
libmujoco-dev_2.2.2-3.1_ppc64.deb                  21-Oct-2025 12:03               54884
libmujoco-samples-dbgsym_2.2.2-3.1_ppc64.deb       21-Oct-2025 12:03              250040
libmujoco-samples_2.2.2-3.1_ppc64.deb              21-Oct-2025 12:03             2561744
libmujoco2.2.2-dbgsym_2.2.2-3.1_ppc64.deb          21-Oct-2025 12:03             4132812
libmujoco2.2.2_2.2.2-3.1_ppc64.deb                 21-Oct-2025 12:03              521500
mujoco_2.2.2-3.1_ppc64.buildinfo                   21-Oct-2025 12:03               10112