Install choreonoid-dbg by entering the following commands in the terminal:
sudo apt update sudo apt install choreonoid-dbg
Description:
Choreonoid debugging symbols
Choreonoid is an integrated robotics GUI environment, which allows users to add their own functions on the basis of various basic robotics functions. . This package contains the debugging symbols.
Homepage: http://choreonoid.org/
Version: 1.5.0+dfsg-0.1build3
Section: universe/debug