I am looking for an alternative for Adobe Flash. In this situation, I mean it as an animating tool, not as a browser plugin.
I want a tool to make simple vector animations, and then, ideally, export them to animated SVG.
It can use, but doesn't have to use, Flash's logic and idioms. It has to run under Linux. Being free (as in freedom) is a huge plus.
(Unfortunately, "Flash alternatives" etc on Google just redirect me to various re-implementations of the browser plugin, I don't care about that now.)