{
  os = "nixos";
  channel = "25.05";
}