Install stretchplayer-dbg by entering the following commands in the terminal:
sudo apt update sudo apt install stretchplayer-dbg
Description:
Debugging symbols for StretchPlayer
StretchPlayer will play back an audio file and allow you to time stretch (without affecting pitch) and/or pitch shift (without affecting the time) the audio, even while you are listening to it. . This package contains the debugging symbols for stretchplayer.
Homepage: http://www.teuton.org/~gabriel/stretchplayer/
Version: 0.503-3build2
Section: universe/debug