../ pkgconfig/ 16-Mar-2022 18:35 - 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