Merge nix into main: no need for ugly deps fetching anymore. #1

Merged
al merged 4 commits from nix into main 2025-06-16 15:13:23 -04:00

4 commits