rmf_dev

A package to aggregate the packages required for a minimal installation of Open-RMF