From andreas.enge at inria.fr  Thu Jan  8 11:39:10 2026
From: andreas.enge at inria.fr (Andreas Enge)
Date: Thu, 8 Jan 2026 11:39:10 +0100
Subject: Hg pull fails
Message-ID: <aV-JThbMGq8nOewJ@jurong>

Hello,

as part of the workflow of building an Android app that uses GMP
with Fdroid, the script runs the following command, which fails:
$ hg pull --ssh /bin/false
pulling from https://gmplib.org/repo/gmp
abort: HTTP Error 403: Forbidden

Not being familiar with Mercurial, I wonder whether this is a problem with
the GMP server or the command (the "--ssh" part looks suspicious, but
"hg pull" fails with the same error).

The repo URL is hardcoded in Fdroid; my goal is to obtain a checkout of
gmp-6.3.0.

Thanks a lot for your help,

Andreas


From bom at student.tugraz.at  Tue Jan 20 14:54:18 2026
From: bom at student.tugraz.at (David Bom)
Date: Tue, 20 Jan 2026 14:54:18 +0100
Subject: replicate plots
Message-ID: <20260120145418.Horde.EmJ6Fo-Jh8Vu-1wlllBvk39@webmail.tugraz.at>

hi

how can i replicate the plots on the very bottom of [1]?

regards,
   david

[1] https://gmplib.org/devel/