有没有debian下的视频格式转换软件

["chenjen cje" <chenjen.cje@gmail.com>]

各位大侠：
　　我新买了一部mp4，30Ｇ微硬盘，但它不支持rm、 rmvb等格式的文件。在windows下找到的所谓免费软件都非常慢，也不好用。请问debian下有这类软件吗？运行速度如何？从哪个源可以得到？
　　谢谢！