../ pkgconfig/ 31-Mar-2022 16:11 - libgmp.10.dylib 16-Mar-2022 18:10 576K libgmp.a 16-Mar-2022 17:59 896K libgmp.la 16-Mar-2022 17:59 947 libgmpxx.4.dylib 16-Mar-2022 18:10 62K libgmpxx.a 16-Mar-2022 17:59 40K libgmpxx.la 16-Mar-2022 17:59 994 libmpfr.6.dylib 16-Mar-2022 18:10 547K libmpfr.a 16-Mar-2022 18:00 821K libmpfr.la 16-Mar-2022 18:00 1010