diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/nix-ocaml-shell.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/nix-ocaml-shell.nix b/misc/nix-ocaml-shell.nix index 316f156..8a61a5b 100644 --- a/misc/nix-ocaml-shell.nix +++ b/misc/nix-ocaml-shell.nix @@ -3,6 +3,7 @@ with import <nixpkgs> {}; let libs = [ autoconf + gmp bubblewrap binutils curl |