diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-19 15:09:59 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-19 15:09:59 +0000 |
commit | 83e716e65a3d497387e6bf8f33de29fff3bd269d (patch) | |
tree | 46a96b9b6e3038adb4d866b9a8e886e96ec247b7 /shell.nix | |
parent | 2217a79966ec6a3ff84ba9da4cdb9d511c1c8b23 (diff) | |
download | vericert-83e716e65a3d497387e6bf8f33de29fff3bd269d.tar.gz vericert-83e716e65a3d497387e6bf8f33de29fff3bd269d.zip |
Update names of directories
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 + ]; +} |