diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 20:37:05 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 20:37:05 +0100 |
commit | 37a625be10e27f0b5271229aa1868d6571b3edbc (patch) | |
tree | 17f221086e2902739ee4235486ee144d4dc8e07e /default.nix | |
parent | 4002a4981028bf02d44db4fa02f05f763349dc3b (diff) | |
parent | bd26d2ee3a8fabefbff50de6c53549399f2b7762 (diff) | |
download | vericert-37a625be10e27f0b5271229aa1868d6571b3edbc.tar.gz vericert-37a625be10e27f0b5271229aa1868d6571b3edbc.zip |
Merge branch 'master' into dev/scheduling
Diffstat (limited to 'default.nix')
-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 |