avi

instalar o pacote ffmpeg:
apt update -y && apt install ffmpeg -y

para converter um ficheiro:
ffmpeg -i LIVROHISTÓRIADEABRIL.swf LIVROHISTÓRIADEABRIL.avi

para converter ficheiros em lote dentro duma pasta:
for i in *.swf; do ffmpeg -i "$i" "${i%.*}.avi"; done

outra solução é:
https://convertio.co/pt/swf-avi/