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