I'm not sure but the divx package may include them. If not, at least you get the divx codecs for free.
www.divx.com