Package: gnatcoll-gmp-devel (2:26.0.0-3.fc44) Development files for the GNAT Components Collection – GMP binding This package contains source code and linking information for developing
applications that use the GMP component of the GNAT Components Collection.
It is an interface to the GNU Multiple Precision (GMP) arithmetic library.
Other Packages Related to gnatcoll-gmp-devel: dep: [fedora-gnat-project-common ]
Files shared by Ada libraries
dep: [gnatcoll-core-devel ]
Development files for the GNAT Components Collection – core packages
dep: gnatcoll-gmp(aarch-64) (= 2:26.0.0-3.fc44)
Package not available
dep: libgnatcoll_gmp.so.26.0.0()(64bit)
Package not available
Download gnatcoll-gmp-devel Package file paths (50) 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/gnatcoll-gmp /usr/include/gnatcoll-gmp/gnatcoll-gmp.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-io.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-io.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-misc.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-misc.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-number_theoretic.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-number_theoretic.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-random.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-random.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-root_extraction.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-root_extraction.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-lib.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-random_state.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-random_state.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-rational_numbers.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-rational_numbers.ads /usr/lib64/gnatcoll-gmp /usr/lib64/gnatcoll-gmp/gnatcoll-gmp.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-io.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-misc.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-number_theoretic.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-random.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-root_extraction.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-lib.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-random_state.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-rational_numbers.ali /usr/lib64/libgnatcoll_gmp.so /usr/lib/gnatcoll-gmp /usr/lib/gnatcoll-gmp/gnatcoll-gmp.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-io.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-misc.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-number_theoretic.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-random.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-root_extraction.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-lib.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-random_state.ali /usr/lib/gnatcoll-gmp/gnatcoll-gmp-rational_numbers.ali /usr/lib/libgnatcoll_gmp.so /usr/share/doc/gnatcoll-gmp /usr/share/doc/gnatcoll-gmp/examples /usr/share/doc/gnatcoll-gmp/examples/gmp_examples.gpr /usr/share/doc/gnatcoll-gmp/examples/isprime.adb /usr/share/doc/gnatcoll-gmp/examples/square_triangular_numbers.adb /usr/share/doc/gnatcoll-gmp/README.md /usr/share/gpr/gnatcoll_gmp.gpr Field source: Fedora 44 updates aarch64
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.
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.
Known vulnerabilities No matching advisories in the tracked sources.
Last synced: Oct 29, 2026, 11:40:19 PM UTC
[CVE catalog ]
Checksums Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.
2:26.0.0-3.fc44 / aarch64 Observed Sep 1, 2026 sha256 73a8a70f882e…dbde7e05Source-reported digest Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported digest (sha256): 73a8a70f882e5065ed76e71016e36dcfab5457e2380ea205b134e296dbde7e05
Verify download
printf '%s %s\n' '73a8a70f882e5065ed76e71016e36dcfab5457e2380ea205b134e296dbde7e05' 'gnatcoll-gmp-devel-26.0.0-3.fc44.aarch64.rpm' | sha256sum --check --strict -Field source: Fedora 44 updates aarch64
2:26.0.0-3.fc44 / i686 Observed Sep 1, 2026 sha256 3aad08b32035…5ac4d5c2Source-reported digest Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported digest (sha256): 3aad08b32035876497cdbf59034450b230170c4b1a7f29f588ce684e5ac4d5c2
Verify download
printf '%s %s\n' '3aad08b32035876497cdbf59034450b230170c4b1a7f29f588ce684e5ac4d5c2' 'gnatcoll-gmp-devel-26.0.0-3.fc44.i686.rpm' | sha256sum --check --strict -Field source: Fedora 44 updates x86_64
2:26.0.0-3.fc44 / x86_64 Observed Sep 1, 2026 sha256 d5aaedaea425…a1452b35Source-reported digest Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported digest (sha256): d5aaedaea425c9e65139dd79873d1d1b505ed0bd03f5931d1c75518da1452b35
Verify download
printf '%s %s\n' 'd5aaedaea425c9e65139dd79873d1d1b505ed0bd03f5931d1c75518da1452b35' 'gnatcoll-gmp-devel-26.0.0-3.fc44.x86_64.rpm' | sha256sum --check --strict -Field source: Fedora 44 updates x86_64
2:26.0.0-2.fc44 / aarch64 Observed Sep 1, 2026 sha256 7a5b1133e14d…281b1670Source-reported digest Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported digest (sha256): 7a5b1133e14d40c00f432eeef8927ecde099bf664771a7a4f24ddf2a281b1670
Verify download
printf '%s %s\n' '7a5b1133e14d40c00f432eeef8927ecde099bf664771a7a4f24ddf2a281b1670' 'gnatcoll-gmp-devel-26.0.0-2.fc44.aarch64.rpm' | sha256sum --check --strict -Field source: Fedora 44 Everything aarch64
2:26.0.0-2.fc44 / i686 Observed Sep 1, 2026 sha256 c3ddae9922a6…c5bcac06Source-reported digest Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported digest (sha256): c3ddae9922a6cb674347612144757139d3ede5f4c067332032a13287c5bcac06
Verify download
printf '%s %s\n' 'c3ddae9922a6cb674347612144757139d3ede5f4c067332032a13287c5bcac06' 'gnatcoll-gmp-devel-26.0.0-2.fc44.i686.rpm' | sha256sum --check --strict -Field source: Fedora 44 Everything x86_64
2:26.0.0-2.fc44 / x86_64 Observed Sep 1, 2026 sha256 b8210c4249f6…202e6231Source-reported digest Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported digest (sha256): b8210c4249f694f9985e98b5732136a55701ea1539b488bb13505687202e6231
Verify download
printf '%s %s\n' 'b8210c4249f694f9985e98b5732136a55701ea1539b488bb13505687202e6231' 'gnatcoll-gmp-devel-26.0.0-2.fc44.x86_64.rpm' | sha256sum --check --strict -Field source: Fedora 44 Everything x86_64
Sources Authoritative source; repository metadata signature verified
Signature evidence 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
Repository-signature verification record
Signed-object SHA-256 236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
Keyring revision RPM-GPG-KEY-fedora-44-primarySHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy 1 openfactory-software-catalog-signature-v1
Verification time Sep 1, 2026 Repository metadata hash linkage
Result Recorded as verified; digest details unavailable Authoritative source; repository metadata signature verified
Signature evidence 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
Repository-signature verification record
Signed-object SHA-256 1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
Keyring revision RPM-GPG-KEY-fedora-44-primarySHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy 1 openfactory-software-catalog-signature-v1
Verification time Sep 1, 2026 Repository metadata hash linkage
Result Recorded as verified; digest details unavailable Authoritative source; repository metadata signature verified
Signature evidence 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b
Repository-signature verification record
Signed-object SHA-256 2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
Keyring revision RPM-GPG-KEY-fedora-44-primarySHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy 1 openfactory-software-catalog-signature-v1
Verification time Sep 1, 2026 Repository metadata hash linkage
Result Recorded as verified; digest details unavailable Authoritative source; repository metadata signature verified
Signature evidence 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419
Repository-signature verification record
Signed-object SHA-256 a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
Keyring revision RPM-GPG-KEY-fedora-44-primarySHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy 1 openfactory-software-catalog-signature-v1
Verification time Sep 1, 2026 Repository metadata hash linkage
Result Recorded as verified; digest details unavailable