{ pkgs, ... }:

rec {
  serverISO = pkgs.requireFile {
    name = "en_windows_server_2019_updated_jan_2021_x64_dvd_5ef22372.iso";
    url = "https://my.visualstudio.com/Downloads";
    sha256 = "9976B3E125050542CA50DE3C7347D132113834EDC151C64C55F9E30BC4D2160F";
  };
  clientISO = pkgs.requireFile {
    name = "en_windows_10_consumer_editions_version_20h2_updated_jan_2021_x64_dvd_00152b46.iso";
    url = "https://my.visualstudio.com/Downloads";
    sha256 = "18C05A70676F9AA8C7CE9A90BB63F6105CCDD630538DA03D24547089E7DA19D2";
  };
}