let
  nixpkgs = fetchTarball "https://github.com/NixOS/nixpkgs/tarball/nixos-25.05";
  pkgs = import nixpkgs { config = {}; overlays = []; };
in
pkgs.mkShell {
  # Dependencies that only exist in the build environment
  nativeBuildInputs = with pkgs; [
    bluespec
    clang   # for clang-format
  ];

  # Dependencies that only exist in the runtime environment
  buildInputs = with pkgs; [
  ];

  shellHook =
    ''
      # This provides git an email address for commits
      export EMAIL="john@coolpeople.io"
    '';
}