For any future NixOS users searching for how to program your robots with PROS, here you go: vexu_tank/flake.nix at 8160301cebf7420d472393ed88e340d6c9c28fab · VEXU-GHOST/vexu_tank · GitHub
Put this file in your project, and then run nix develop
. It will only locally install a version of pros (pinned to 3.5.1 as of writing this) and you can use the mut
command as a shortcut to upload and run.