# HG changeset patch # User wenzelm # Date 1661793955 -7200 # Node ID 8e796c204b87d637b526231f9c7452f8254a7372 # Parent 9ca22009c2d0a95068b3ff52f31a5e637089bb0e tuned output; diff -r 9ca22009c2d0 -r 8e796c204b87 src/Pure/Admin/build_cvc5.scala --- a/src/Pure/Admin/build_cvc5.scala Mon Aug 29 19:14:04 2022 +0200 +++ b/src/Pure/Admin/build_cvc5.scala Mon Aug 29 19:25:55 2022 +0200 @@ -79,9 +79,9 @@ File.write(component_dir + Path.basic("README"), """This distribution of cvc5 was assembled from the official downloads -from """ + base_url + """ for 64bit -macOS, Linux, Windows. There is native support for macOS ARM64, but Linux -ARM64 is missing. +from """ + base_url + """ for 64bit macOS, +Linux, and Windows. There is native support for macOS ARM64, but +Linux ARM64 is missing. The oldest supported version of macOS is 10.14 Mojave.