diff options
Diffstat (limited to 'shell.nix')
-rw-r--r-- | shell.nix | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/shell.nix b/shell.nix deleted file mode 100644 index 30b9d1b..0000000 --- a/shell.nix +++ /dev/null @@ -1,19 +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 - ocamlformat - nodejs - python3 - tmux - tmuxinator - ]; - -} |