diff -r a712bf5ccab0 -r 78b746a99211 src/Pure/Admin/component_cvc5.scala
--- a/src/Pure/Admin/component_cvc5.scala	Wed Dec 11 10:40:57 2024 +0100
+++ b/src/Pure/Admin/component_cvc5.scala	Wed Dec 11 11:14:50 2024 +0100
@@ -19,17 +19,17 @@
 
   val platforms: List[Download_Platform] =
     List(
-      Download_Platform("arm64-darwin", "cvc5-macOS-arm64-static-2024-03-20-ef2bc3f.zip"),
-      Download_Platform("arm64-linux", "cvc5-Linux-arm64-static-2024-03-20-ef2bc3f.zip"),
-      Download_Platform("x86_64-darwin", "cvc5-macOS-static-2024-03-20-ef2bc3f.zip"),
-      Download_Platform("x86_64-linux", "cvc5-Linux-static-2024-03-20-ef2bc3f.zip"),
-      Download_Platform("x86_64-windows", "cvc5-Win64-static-2024-03-20-ef2bc3f.zip"))
+      Download_Platform("arm64-darwin", "cvc5-macOS-arm64-static.zip"),
+      Download_Platform("arm64-linux", "cvc5-Linux-arm64-static.zip"),
+      Download_Platform("x86_64-darwin", "cvc5-macOS-x86_64-static.zip"),
+      Download_Platform("x86_64-linux", "cvc5-Linux-x86_64-static.zip"),
+      Download_Platform("x86_64-windows", "cvc5-Win64-x86_64-static.zip"))
 
 
   /* build cvc5 */
 
   val default_url = "https://github.com/cvc5/cvc5/releases/download"
-  val default_version = "latest"
+  val default_version = "1.2.0"
 
   def build_cvc5(
     base_url: String = default_url,
@@ -48,7 +48,7 @@
 
     for (platform <- platforms) {
       Isabelle_System.with_tmp_dir("download") { download_dir =>
-        val download = base_url + "/" + version + "/" + platform.download_name
+        val download = base_url + "/cvc5-" + version + "/" + platform.download_name
 
         val archive_name =
           Url.get_base_name(platform.download_name) getOrElse
@@ -86,11 +86,9 @@
     /* README */
 
     File.write(component_dir.README,
-      """This distribution of cvc5 was assembled from official downloads
-from """ + base_url + """ for macOS, Linux,
-and Windows, with ARM64 support on macOS and Linux.
-
-The change id is ef2bc3f735df (3 weeks after cvc5-1.1.2).
+      """This distribution of cvc5 was assembled from official downloads from
+""" + base_url + """ --- the static.zip variants
+for macOS, Linux, and Windows, with ARM64 support on macOS and Linux.
 
 The downloaded files were renamed and made executable.