From 02e7b8f0828124df89b58a8d142f2c933ce7e671 Mon Sep 17 00:00:00 2001
From: Jose Luis Rivero <jrivero@osrfoundation.org>
Date: Tue, 26 Sep 2023 23:18:47 +0200
Subject: [PATCH] Use libdart6.13 packaes from packages.o.o (#553)

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
---
 .github/ci/packages.apt | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/ci/packages.apt b/.github/ci/packages.apt
index 09e09de93..3dd5b3f1f 100644
--- 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