{ buildFHSEnv , unwrapped }: buildFHSEnv { name = "athena-bccr"; targetPkgs = pkgs: [ unwrapped.ase-idprotect unwrapped.gaudi ]; }