Update the Juvix lock file when the Package file changes#2522
Merged
jonaprieto merged 9 commits intomainfrom lockfile-auto-updateNov 22, 2023
+282-224
Commits
Commits on Nov 21, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
