/usr/bin/mkThumbs
/usr/bin/oggCat
/usr/bin/oggCut
/usr/bin/oggDump
/usr/bin/oggJoin
/usr/bin/oggLength
/usr/bin/oggSilence
/usr/bin/oggSlideshow
/usr/bin/oggSplit
/usr/bin/oggThumb
/usr/bin/oggTranscode
You may install this package on Debian with
apt-get
install oggvideotools