../ gmp-4.2.1.tar.bz2 14-Aug-2014 20:13 1726453 gmp-6.0.0.tar.bz2 14-Aug-2014 20:13 2337487 gmp-6.1.1.tar.xz 18-Jun-2016 20:00 1943164 gmp-6.1.2.tar.bz2 16-Dec-2016 15:45 2386766 gmp-6.2.1.tar.xz 17-Jul-2022 08:23 2027316 gmp-6.3.0.tar.xz 22-Mar-2024 06:21 2094196