Subject: Re: [bug#52408] [PATCH 0/5] gnu: Add cl-mgl-gpr.

From: Guillaume Le Vaillant <[email-masked]>
Date: Sat, 11 Dec 2021 10:34:26 +0000

Patches pushed as 163f7831c4ed7c7d877234bc208caf625afce808 and
following, with the license of cl-random fixed (expat instead of
boost1.0).
Thanks.