let

  pkgs = import <nixpkgs> {
    config = {
      allowUnfree = true;
      permittedInsecurePackages = [
        "openssh-with-gssapi-8.4p1"
      ];
    };
    overlays = [
      (import ../fudo-pkgs/overlay.nix)
    ];
  };
  
  home-manager-module = import <home-manager/nixos>;

  hostlib = import ./lib/hosts.nix {
    inherit pkgs home-manager-module;
  };

  define-host = hostlib.host-config;

in {
  network = {
    description = "Informis network";
    enableRollback = true;
  };

  procul = define-host "172.86.179.18" "procul";
}