aboutsummaryrefslogtreecommitdiff
path: root/shell.nix
diff options
context:
space:
mode:
Diffstat (limited to 'shell.nix')
-rw-r--r--shell.nix19
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
- ];
-
-}