diff --git a/.github/ci/packages.apt b/.github/ci/packages.apt index 5ce1073d0a..d4247f6c23 100644 --- a/.github/ci/packages.apt +++ b/.github/ci/packages.apt @@ -1,10 +1,10 @@ freeglut3-dev libbenchmark-dev -libdart-collision-ode-dev -libdart-dev -libdart-external-ikfast-dev -libdart-external-odelcpsolver-dev -libdart-utils-urdf-dev +libdart6.13-collision-ode-dev +libdart6.13-dev +libdart6.13-external-ikfast-dev +libdart6.13-external-odelcpsolver-dev +libdart6.13-utils-urdf-dev libfreeimage-dev libglew-dev libgz-cmake3-dev