diff options
Diffstat (limited to 'shell.nix')
-rw-r--r-- | shell.nix | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -1,7 +1,5 @@ with import <nixpkgs> {}; + mkShell { - buildInputs = [ - coq_8_10 ocamlPackages.menhir dune ocaml - ocamlPackages.findlib - ]; + buildInputs = (import ./.).buildInputs; } |