Hi Guix,

guile-readline fails to build on core updates 
(20c122a4b0798a87c44edbc37229f9c38e44386c) with the following error in the 
configure check:

checking for libgmp... no
configure: error: GNU MP 4.1 or greater not found; either install it, or pass '--enable-mini-gmp' to use included less-optimal arbitrary-precision integer support.
error: in phase 'configure': uncaught exception:

Full log is attached.

Could this be related to the minigmp change in Guile 3.0.6 and .7?

Best,
Jack