If you just want to change the framerate, the webpmux
tool from Google (available as the webp
package on your Linux OS) can do the job quickly and easily.
First you need to know the current duration interval for the source file - there are several ways to do that, but the webpinfo
from the same package is maybe the easiest - webpinfo source.webp
the note the duration listed for the frames.
Then calculate your new desired frame rate - if the source animation had an FPS of 10, it would show a duration of 100. To change it to 25, divide 100ms duration by 2.5 (the multiplier to go from 10 to 25), which will get you a target duration of 40ms.
Finally run webpmux -duration 40 source.webp -o destination.webp
to create a copy of the source animation with a changed interhframe duration.