architecture: all component: main package: libmpfrc++-dev priority: optional section: libdevel srcpkg_name: mpfrc++ srcpkg_version: 3.6.9+ds-1 version: 3.6.9+ds-1