The text 04e259da0f5e, as Debian 10 (Buster) shipped it.
Converts raster map series to MPEG movie.
r.out.mpeg(1grass) on Linux now
