Install choreonoid-dbg by entering the following commands in the terminal:
sudo apt update sudo apt install choreonoid-dbg
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.