# HG changeset patch
# User wenzelm
# Date 1689070341 -7200
# Node ID ab95c9f2d55c8b8f98eb94b87a363418433bf5d4
# Parent  337ef5cdb70c2f48f7fd31b1a2bf0afd9ef35e8b
tuned signature;

diff -r 337ef5cdb70c -r ab95c9f2d55c src/Pure/Admin/component_cvc5.scala
--- a/src/Pure/Admin/component_cvc5.scala	Tue Jul 11 11:59:05 2023 +0200
+++ b/src/Pure/Admin/component_cvc5.scala	Tue Jul 11 12:12:21 2023 +0200
@@ -13,16 +13,16 @@
 object Component_CVC5 {
   /* platform information */
 
-  sealed case class CVC5_Platform(platform_name: String, download_name: String) {
+  sealed case class Download_Platform(platform_name: String, download_name: String) {
     def is_windows: Boolean = platform_name.endsWith("-windows")
   }
 
-  val platforms: List[CVC5_Platform] =
+  val platforms: List[Download_Platform] =
     List(
-      CVC5_Platform("arm64-darwin", "cvc5-macOS-arm64"),
-      CVC5_Platform("x86_64-darwin", "cvc5-macOS"),
-      CVC5_Platform("x86_64-linux", "cvc5-Linux"),
-      CVC5_Platform("x86_64-windows", "cvc5-Win64.exe"))
+      Download_Platform("arm64-darwin", "cvc5-macOS-arm64"),
+      Download_Platform("x86_64-darwin", "cvc5-macOS"),
+      Download_Platform("x86_64-linux", "cvc5-Linux"),
+      Download_Platform("x86_64-windows", "cvc5-Win64.exe"))
 
 
   /* build cvc5 */
diff -r 337ef5cdb70c -r ab95c9f2d55c src/Pure/Admin/component_jdk.scala
--- a/src/Pure/Admin/component_jdk.scala	Tue Jul 11 11:59:05 2023 +0200
+++ b/src/Pure/Admin/component_jdk.scala	Tue Jul 11 12:12:21 2023 +0200
@@ -14,20 +14,20 @@
 object Component_JDK {
   /* platform information */
 
-  sealed case class JDK_Platform(name: String, url_template: String) {
+  sealed case class Download_Platform(name: String, url_template: String) {
     override def toString: String = name
 
     def url(base_url: String, jdk_version: String, zulu_version: String): String =
       base_url + "/" + url_template.replace("{V}", jdk_version).replace("{Z}", zulu_version)
   }
 
-  val platforms: List[JDK_Platform] =
+  val platforms: List[Download_Platform] =
     List(
-      JDK_Platform("arm64-darwin", "zulu{Z}-jdk{V}-macosx_aarch64.tar.gz"),
-      JDK_Platform("arm64-linux", "zulu{Z}-jdk{V}-linux_aarch64.tar.gz"),
-      JDK_Platform("x86_64-darwin", "zulu{Z}-jdk{V}-macosx_x64.tar.gz"),
-      JDK_Platform("x86_64-linux", "zulu{Z}-jdk{V}-linux_x64.tar.gz"),
-      JDK_Platform("x86_64-windows", "zulu{Z}-jdk{V}-win_x64.zip"))
+      Download_Platform("arm64-darwin", "zulu{Z}-jdk{V}-macosx_aarch64.tar.gz"),
+      Download_Platform("arm64-linux", "zulu{Z}-jdk{V}-linux_aarch64.tar.gz"),
+      Download_Platform("x86_64-darwin", "zulu{Z}-jdk{V}-macosx_x64.tar.gz"),
+      Download_Platform("x86_64-linux", "zulu{Z}-jdk{V}-linux_x64.tar.gz"),
+      Download_Platform("x86_64-windows", "zulu{Z}-jdk{V}-win_x64.zip"))
 
 
   /* build jdk */