Use dart13 packages from stable repository on ci (not focal)

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebosim · Oct 11, 2023 · 6a4b2bb · 6a4b2bb
1 parent 8a80800
commit 6a4b2bb
Showing 1 changed file with 5 additions and 5 deletions.
diff --git 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