diff options
Diffstat (limited to 'shell.nix')
-rw-r--r-- | shell.nix | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/shell.nix b/shell.nix deleted file mode 100644 index 1dd46bd..0000000 --- a/shell.nix +++ /dev/null @@ -1,17 +0,0 @@ -with (import (builtins.fetchGit { - name = "nixpkgs-20.03"; - url = "git@github.com:nixos/nixpkgs.git"; - rev = "5272327b81ed355bbed5659b8d303cf2979b6953"; - ref = "refs/tags/20.03"; -}){}); - -mkShell { - buildInputs = [ - bs-platform - nodejs - tmux - tmuxinator - zola - ocamlformat - ]; -} |