acl2

GC Warning: Failed to expand heap by 4194304 KiB
error:
       … while evaluating attribute 'drv'
         at /nix/store/kb1cn7c1d3v1k9z3n2j56530k99vficy-filnix-experiment-0.12.6/lib/experiment/planner.nix:14:3:
           13| {
           14|   drv = p.drvPath;
             |   ^
           15|   name = p.name;

       … while evaluating the attribute 'drvPath'
         at /nix/store/3vnwr4wqk4w85qrqma5gjy5pc959rcm8-source/lib/customisation.nix:418:7:
          417|     // {
          418|       drvPath =
             |       ^
          419|         assert condition;

       (stack trace truncated; use '--show-trace' to show the full, detailed trace)

       error: Package ‘acl2-8.5’ in /nix/store/3vnwr4wqk4w85qrqma5gjy5pc959rcm8-source/pkgs/development/interpreters/acl2/default.nix:157 has an unfree license (‘bsd3 mit gpl2 llgpl21 cc0 publicDomain unfreeRedistributable’), refusing to evaluate.

       a) To temporarily allow unfree packages, you can use an environment variable
          for a single invocation of the nix tools.

            $ export NIXPKGS_ALLOW_UNFREE=1

          Note: When using `nix shell`, `nix build`, `nix develop`, etc with a flake,
                then pass `--impure` in order to allow use of environment variables.

       b) For `nixos-rebuild` you can set
         { nixpkgs.config.allowUnfree = true; }
       in configuration.nix to override this.

       Alternatively you can configure a predicate to allow specific packages:
         { nixpkgs.config.allowUnfreePredicate = pkg: builtins.elem (lib.getName pkg) [
             "acl2"
           ];
         }

       c) For `nix-env`, `nix-build`, `nix-shell` or any other Nix command you can add
         { allowUnfree = true; }
       to ~/.config/nixpkgs/config.nix.