mp4

ffmpeg -i input.3gp -c:v copy -c:a copy output.mp4

https://video.stackexchange.com/a/33763

ffmpeg -y -i file.dav -vcodec libx264 -crf 24 file.mp4

https://gist.github.com/jdye64/ca07e01ff3d8e93210c3

para converter todos os ficheiros numa pasta:
for i in *.dav; do ffmpeg -y -i "$i" -vcodec libx264 -crf 24 "${i%.*}.mp4"; done

https://stackoverflow.com/a/33766147

ou talvez melhor:
for i in *.dav; do ffmpeg -y -i "$i" -c:v libx265 -crf 26 -preset fast "${i%.*}.mp4"; done

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/