diff --git a/nix/default.nix b/nix/default.nix index 5e3ef8515c6787f4bdc4b2df9b799ea6bad3990f..6b45d562bccf9479c2534a502b34618bcb5e692c 100644 --- a/nix/default.nix +++ b/nix/default.nix @@ -76,6 +76,7 @@ rec { inherit src; buildInputs = (mk_buildInputs { + nixPackages = [ pkgs.bc ]; opamPackages = [ { name = "ocp-indent"; constraint = "=1.7.0"; } { name = "headache"; constraint = "=1.05"; }