openSUSE Leap 16.0 native package

mpfi-devel

Development files for the MPFI interval arithmetic computation library

Packages / openSUSE Leap 16.0 / Development/Libraries/C and C++ / mpfi-devel

[Source: mpfi]

Package: mpfi-devel (1.5.4-bp160.1.12)

[Project overview: mpfi]

External Resources:

Homepage: [gitlab.inria.fr]

Similar packages:

[libmpfi0]
Multi-precision floating-point interval arithmetic computation library

Development files for the MPFI interval arithmetic computation library

MPFI is a C library for arbitrary precision interval arithmetic with intervals represented using MPFR reliable floating-point numbers. This subpackage provides the development headers and libraries for it.

Other Packages Related to mpfi-devel:

dep: /bin/sh
Package not available
dep: /bin/sh
Package not available
dep: [libmpfi0] (= 1.5.4)
Multi-precision floating-point interval arithmetic computation library

Download mpfi-devel

Architecture	Package Size	Installed Size	Files
aarch64	43 KiB	76 KiB	[list of files]
ppc64le	43 KiB	76 KiB	[list of files]
s390x	43 KiB	76 KiB	[list of files]
x86_64	43 KiB	76 KiB	[list of files]

Package file paths (7)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/include/mpfi.h
/usr/include/mpfi_io.h
/usr/lib64/libmpfi.so
/usr/share/info/mpfi.info.gz
/usr/share/licenses/mpfi-devel
/usr/share/licenses/mpfi-devel/COPYING
/usr/share/licenses/mpfi-devel/COPYING.LESSER

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try openSUSE Leap 16.0 in the browser Build an image that includes mpfi-devel

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
1.5.4-bp160.1.12	leap-16.0 / oss	aarch64	openSUSE Leap 16.0 · OSS · multi-architecture	43 KiB	76 KiB	aarch64/mpfi-devel-1.5.4-bp160.1.12.aarch64.rpm
1.5.4-bp160.1.12	leap-16.0 / oss	ppc64le	openSUSE Leap 16.0 · OSS · multi-architecture	43 KiB	76 KiB	ppc64le/mpfi-devel-1.5.4-bp160.1.12.ppc64le.rpm
1.5.4-bp160.1.12	leap-16.0 / oss	s390x	openSUSE Leap 16.0 · OSS · multi-architecture	43 KiB	76 KiB	s390x/mpfi-devel-1.5.4-bp160.1.12.s390x.rpm
1.5.4-bp160.1.12	leap-16.0 / oss	x86_64	openSUSE Leap 16.0 · OSS · multi-architecture	43 KiB	76 KiB	x86_64/mpfi-devel-1.5.4-bp160.1.12.x86_64.rpm

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Checksums and observation dates

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

1.5.4-bp160.1.12 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 2eaacf59710e615b66db9783445b553787fd481be150228278d3f83bdc0211ec2927e1c4f78874f187e1eea3fbf3602a26b984cc472003f959e09e2ad7709582

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

1.5.4-bp160.1.12 / ppc64leObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: f568e888567a5c06934935dc2f28d69f253b4c6c4000a1657080a6a8ee6afea79f9298d56985cd688365a355d50ed01e7cfaa89f144119fde1c80fe1c38e8486

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

1.5.4-bp160.1.12 / s390xObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 318b5bbc7df52fecb76fdfac5d4a0e715b5ecaf28be503c6fa4904c09f44653952acbb30b6350ad4775f02f8a535f85daf23208f66ccee32f3623a89b53d0412

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

1.5.4-bp160.1.12 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 8112f9ddea35b4ec81213e3b4422979c753695865818455a82444e75032a1338b6c3fbbc58ad15c2d5cef54061c1587d5e4fbd99fa9dd43fc05e1031512ae327

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Catalog record completeness

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description: 25/25
Artifact path and source digest: 25/25
Dependency metadata: 15/15
Package-file index: 15/15
Homepage: 5/5
License text: 5/5
Source package or maintainer: 10/10

Recorded total: 100/100

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Sources and provenance

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

openSUSE Leap 16.0 OSSSep 1, 2026
Authoritative source; repository metadata signature verified, revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://download.opensuse.org/distribution/leap/16.0/repo/oss/repodata/repomd.xml
Signed-object SHA-256
271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
Signer fingerprint
AD485664E901B867051AB15F35A2F86E29B700A4
Keyring revision
opensuse-project-signing-key.asc
SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified