let
  bluespec-joh-template = import ./default.nix { };
  pkgs = bluespec-joh-template.pkgs;
in

pkgs.mkShell {
  inputsFrom = [ bluespec-joh-template ];
}