equal
deleted
inserted
replaced
50 self.ISABELLE_PLATFORM64)) |
50 self.ISABELLE_PLATFORM64)) |
51 } |
51 } |
52 |
52 |
53 def default_target_dir: Path = Components.default_components_base |
53 def default_target_dir: Path = Components.default_components_base |
54 def default_install_url: String = "https://dot.net/v1/dotnet-install" |
54 def default_install_url: String = "https://dot.net/v1/dotnet-install" |
55 def default_version: String = "6.0.402" |
55 def default_version: String = "6.0.411" |
56 |
56 |
57 def dotnet_setup( |
57 def dotnet_setup( |
58 platform_spec: String = default_platform, |
58 platform_spec: String = default_platform, |
59 target_dir: Path = default_target_dir, |
59 target_dir: Path = default_target_dir, |
60 install_url: String = default_install_url, |
60 install_url: String = default_install_url, |