GitHub repository: Airtonomy/nix-ros-overlay
Description: ROS overlay for the Nix package manager