../ pkgconfig/ 31-Mar-2022 16:11 - libgmp.a 16-Mar-2022 18:00 1M libgmp.la 16-Mar-2022 18:00 952 libgmp.so.10.4.1 16-Mar-2022 18:00 579K libgmpxx.a 16-Mar-2022 18:00 49K libgmpxx.la 16-Mar-2022 18:00 999 libgmpxx.so.4.6.1 16-Mar-2022 18:00 34K libmpfr.a 16-Mar-2022 18:02 1M libmpfr.la 16-Mar-2022 18:02 1014 libmpfr.so.6.1.0 16-Mar-2022 18:02 3M