Revision 8746da30caa229d5243315349d3fab276b38281b authored by Pierre-Yves Strub on 14 September 2023, 09:18:37 UTC, committed by bgregoir on 14 September 2023, 10:51:55 UTC
The check should use the full conversion. fix #437
1 parent 287106a
shell.nix
{ withProvers ? true, devDeps ? [] }:
with import <nixpkgs> {};
let ec = callPackage ./default.nix { inherit withProvers devDeps; };
in
pkgs.mkShell {
buildInputs = ec.buildInputs
++ ec.propagatedBuildInputs
++ (with python3Packages; [
pyyaml
]);
}
Computing file changes ...
