architecture: amd64 component: main package: libmpfr-dev priority: optional section: libdevel srcpkg_name: mpfr4 srcpkg_version: 4.2.0-1 version: 4.2.0-1