Merge branch 'main' into #5_improve_dev_shell
This commit is contained in:
commit
29c9a6b9af
4 changed files with 16 additions and 5 deletions
|
@ -4,7 +4,7 @@
|
|||
|
||||
inputs = {
|
||||
# gonna start off with a fairly modern base
|
||||
nixpkgs.url = "nixpkgs/nixos-23.05";
|
||||
nixpkgs.url = "nixpkgs/nixos-unstable";
|
||||
|
||||
# utility stuff
|
||||
flake-utils.url = "github:numtide/flake-utils";
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue