Есть ли в Ubuntu какие-либо программы для преобразования серии файлов изображений в анимированный GIF-файл?

Прежде чем упомянуть этот вопрос, инструмент для преобразования последовательности пронумерованных файлов PNG в анимированный GIF? Я хотел бы сказать, что я полный нуб, когда дело доходит до Ubuntu (я знаю, что у меня 1375 представителей, но с тех пор я вернулся в Windows и только сейчас вернулся, и моя память очень суетливая), и ImageMagick не кажется иметь инструмент конвертации больше. Я привык использовать PhotoScape в Windows, и мне скорее нравится его настройка, поэтому, если кто-нибудь знает альтернативу на Ubuntu, которая будет похожа, это будет высоко цениться.