Juhani Krekelä 8cb8e5ede0 Update to gmp-6.2.1.		2022-07-11 00:25:00 +02:00
..
libgmp.patch	Update to gmp-6.2.1.	2022-07-11 00:25:00 +02:00
libgmp.port	Update to gmp-6.2.1.	2022-07-11 00:25:00 +02:00