libmpfrc++-dev_3.6.6+ds-1_all.deb
libmpfrc++-dev_3.7.0+ds-1_all.deb
libmpfrc++-dev_3.7.2+ds-1_all.deb