../ pkgconfig/ 31-Mar-2022 16:11 - libgmp.a 16-Mar-2022 17:59 1M libgmp.la 16-Mar-2022 17:59 960 libgmp.so.10.4.1 16-Mar-2022 17:59 588K libgmpxx.a 16-Mar-2022 17:59 56K libgmpxx.la 16-Mar-2022 17:59 1011 libgmpxx.so.4.6.1 16-Mar-2022 17:59 43K libmpfr.a 16-Mar-2022 18:01 1M libmpfr.la 16-Mar-2022 18:01 1026 libmpfr.so.6.1.0 16-Mar-2022 18:01 3M