r.carve(1grass) on Linux

The text c63ec41ede27, as Debian 9 (Stretch) shipped it.

Generates stream channels. Takes vector stream data, transforms it to raster and subtracts depth from the output DEM.

r.carve(1grass) on Linux now