Anyone know what is out there in the way of Flash Animation tools for Linux. More specifically Ubuntu linux or anything that is Debian based?

Hi,

I haven't tried any of these. But maybe there is something that may fit you.

http://osflash.org/open_source_flash_projects

I have heard of Flash4linux which tries to be a alternative to Macromedia/Adobe Flash, don't know how far they've come in forms of features though.