This project is a flake which provide packages and development environment to gepetto members.

ref. https://gepetto.cachix.org

The goal is to make use of ros.cachix.org, but right now (2024-12-09), this is complicated.

Use this project with direnv. If the default devShell does not suit your use case, you can define your own .envrc.local