carmen2rawlog(1) on Linux
The text 8d76558d09a6, as Debian 8 (Jessie) shipped it.
Convert robotic datasets between CARMEN and Rawlog formats
The text 8d76558d09a6, as Debian 8 (Jessie) shipped it.
Convert robotic datasets between CARMEN and Rawlog formats