forked from cswimr/SeaCogs
chore(tooling): re-add nix flake and update deps
This commit is contained in:
parent
2a5b924409
commit
999fd8e96f
6 changed files with 194 additions and 104 deletions
1
.envrc
Normal file
1
.envrc
Normal file
|
@ -0,0 +1 @@
|
|||
use flake
|
Loading…
Add table
Add a link
Reference in a new issue