Programas para hacer animaciones Flash

[Carlos]

Hola,
Quería saber si existe algún programa para hacer animaciones flash en linux
y si está empaquetado para debian potato.
Saludos y gracias,
Carlos
--------------------