The text 0bc403c74fa1, as Debian 9 (Stretch) shipped it.
Converts raster map series to MPEG movie.
r.out.mpeg(1grass) on Linux now
