QUOTE (fehers @ Nov 15 2012, 19:29) <{POST_SNAPBACK}>
The file with the info "Lavf54.36.100" I'm talking about has a .flac extension...
The term "FLAC" is commonly used both for the file format (a lossless audio codec) and the compression program itself. An easy way to think about it is to compare it to ZIP files. Whether they're made with WinZip, WinRAR, InfoZip, 7-Zip, etc, they all create the same file format.
Both libFLAC and ffmpeg (and FLACCL and &c.) create files that follow the FLAC specification. This means (A) the files are lossless compressions of the source file and (B) they can be decoded by any decompressor that adheres to the standard.