# HG changeset patch
# User wenzelm
# Date 1697286474 -7200
# Node ID 8a7c0f8fc9d275153f1d967ec5bbfcd54691ad29
# Parent  1eb8a5e3fb5f1f1bb5f683fada87843d5157769c
updated to gmp-6.3.0, for the sake of macOS 14 Sonoma;

diff -r 1eb8a5e3fb5f -r 8a7c0f8fc9d2 src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Thu Oct 12 21:13:22 2023 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Sat Oct 14 14:27:54 2023 +0200
@@ -306,8 +306,8 @@
 
 * Download:
 
-  $ curl https://gmplib.org/download/gmp/gmp-6.2.1.tar.bz2 | tar xjf -
-  $ cd gmp-6.2.1
+  $ curl https://gmplib.org/download/gmp/gmp-6.3.0.tar.bz2 | tar xjf -
+  $ cd gmp-6.3.0
 
 * build: