Compiled regularly from svn, they should do the trick.

Two, output RGB/YUV420 uncompressed video and uncompressed audio into an avi container. No loss in quality, which is great if you intend to edit the video. Perfect for bringing your project into VirtualDub:

$ ffmpeg -i test.y4m -vcodec rawvideo -acodec pcm_s16le test.avi

You can also set a high bitrate if you prefer something like mpeg-1 video. (This example is 4Mbps. Chose whatever fits your fancy):

$ ffmpeg -i test.y4m -b 4000k test.mpg

Or, use a quantizer-based quality setting (this example fixes quantizer at 2, but you can also use a range):

$ ffmpeg -i test.y4m -qmin 2 -qmax 2 test.mpg

Quantizer of 1 is perfect (but pointless), 2 is perfect with compression to save space, greater than 2 is lossy.

Check out the ffmpeg documentation for more options:
(http://ffmpeg.mplayerhq.hu/ffmpeg-doc.html)

If you want to know which formats you can use with the -vcodec and -acodec flags, type:

$ ffmpeg -formats