I'm trying to downsample a 16khz wav file to 8khz in python 2.6. The file has RIFF header and is in a mulaw format and must remain in that format.
I've glanced at some things in this big list of python stuff and can't seem to find a simple library that will just change the sample rate of an audio file.
Any suggestions on a good python library to do this?