diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 20:35:48 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 20:35:48 +0100 |
| commit | bd26d2ee3a8fabefbff50de6c53549399f2b7762 (patch) | |
| tree | 763c87a5d48c8101b491b1d6b6c304668fa204e8 | |
| parent | 0b6938e44cde14ed66e6b7af943d3176b5c559cd (diff) | |
| download | vericert-kvx-bd26d2ee3a8fabefbff50de6c53549399f2b7762.tar.gz vericert-kvx-bd26d2ee3a8fabefbff50de6c53549399f2b7762.zip | |
Add menhirLib as an explicit dependency
| -rw-r--r-- | default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.nix b/default.nix index 0e5b40d..6350e3e 100644 --- a/default.nix +++ b/default.nix @@ -10,6 +10,7 @@ stdenv.mkDerivation { buildInputs = [ ncoq dune_2 gcc ncoq.ocaml ncoq.ocamlPackages.findlib ncoq.ocamlPackages.menhir ncoq.ocamlPackages.ocamlgraph ncoq.ocamlPackages.merlin + ncoq.ocamlPackages.menhirLib ncoqPackages.serapi python3 python3Packages.docutils python3Packages.pygments |