Use libdart6.13 packaes from packages.o.o (#553)

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebosim · Sep 26, 2023 · 02e7b8f · 02e7b8f
1 parent 9165154
commit 02e7b8f
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/ci/packages.apt b/.github/ci/packages.apt
@@ -1,10 +1,10 @@
 libbenchmark-dev
-libdart-collision-bullet-dev
-libdart-collision-ode-dev
-libdart-dev
-libdart-external-ikfast-dev
-libdart-external-odelcpsolver-dev
-libdart-utils-urdf-dev
+libdart6.13-collision-bullet-dev
+libdart6.13-collision-ode-dev
+libdart6.13-dev
+libdart6.13-external-ikfast-dev
+libdart6.13-external-odelcpsolver-dev
+libdart6.13-utils-urdf-dev
 libeigen3-dev
 libgz-cmake3-dev
 libgz-common5-dev