378a9731eb6fd69b93fa074172f79be4089c813365613e414f4da4923dcbda52  mini-gmp.c (GMP 6.3.0 source used for validation; not redistributed here)
54ec9383fdf6103a0e22bde2663ca8eb420338015839b663e0eccee103afae99  mini-gmp.h (GMP 6.3.0 source used for validation; not redistributed here)
a6e3d73f5c3708621b484d4ce8a8609d8aa0af3f90ecc87ca3466cc1f17bc631  patches/0001-mini-gmp-check-mpz-allocation-range.patch
