Packages / Fedora 43 / Unspecified / gnatcoll-gmp-devel

Package: gnatcoll-gmp-devel (2:25.0.0-5.fc43)

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:25.0.0-5.fc43)
Package not available
dep: libgnatcoll_gmp.so.25.0.0()(64bit)
Package not available

Download gnatcoll-gmp-devel

Architecture	Package size	Installed size	Files	Package
aarch64	57 KiB	256 KiB	list of files	Download
i686	56 KiB	255 KiB	list of files	Download
x86_64	57 KiB	256 KiB	list of files	Download

Percorsi file del pacchetto (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 43 Everything aarch64

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova Fedora 43 nel browser Crea un'immagine che include gnatcoll-gmp-devel

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
2:25.0.0-5.fc43	43 / everything	aarch64	Fedora 43 · Everything · aarch64	57 KiB	256 KiB	Packages/g/gnatcoll-gmp-devel-25.0.0-5.fc43.aarch64.rpm
2:25.0.0-5.fc43	43 / everything	i686	Fedora 43 · Everything · x86_64	56 KiB	255 KiB	Packages/g/gnatcoll-gmp-devel-25.0.0-5.fc43.i686.rpm
2:25.0.0-5.fc43	43 / everything	x86_64	Fedora 43 · Everything · x86_64	57 KiB	256 KiB	Packages/g/gnatcoll-gmp-devel-25.0.0-5.fc43.x86_64.rpm

Field source: Fedora 43 Everything aarch64

Vulnerabilità note

Nessun avviso corrispondente nelle fonti monitorate.

Ultima sincronizzazione: Oct 29, 2026, 11:41:35 PM UTC

[Catalogo CVE]

Checksum

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

2:25.0.0-5.fc43 / aarch64Osservato Sep 1, 2026sha256 7e43b6d17b58…59851379Impronta della fonte

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

Impronta della fonte (sha256): 7e43b6d17b585607eaa49a02bd316c1bb06fee49c2f60227dc55ad9159851379

Verifica download

printf '%s  %s\n' '7e43b6d17b585607eaa49a02bd316c1bb06fee49c2f60227dc55ad9159851379' 'gnatcoll-gmp-devel-25.0.0-5.fc43.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything aarch64

2:25.0.0-5.fc43 / i686Osservato Sep 1, 2026sha256 2d840400bc1d…2df9ca22Impronta della fonte

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

Impronta della fonte (sha256): 2d840400bc1d14c8bb806184ae2b4ec8b06a9ba78abb2b068a6ca5472df9ca22

Verifica download

printf '%s  %s\n' '2d840400bc1d14c8bb806184ae2b4ec8b06a9ba78abb2b068a6ca5472df9ca22' 'gnatcoll-gmp-devel-25.0.0-5.fc43.i686.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything x86_64

2:25.0.0-5.fc43 / x86_64Osservato Sep 1, 2026sha256 c8fc6e6c9a4c…0db95e04Impronta della fonte

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

Impronta della fonte (sha256): c8fc6e6c9a4c76f4b20c4d784f5f12c259635ab3428f231c27f402c60db95e04

Verifica download

printf '%s  %s\n' 'c8fc6e6c9a4c76f4b20c4d784f5f12c259635ab3428f231c27f402c60db95e04' 'gnatcoll-gmp-devel-25.0.0-5.fc43.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything x86_64

Fonti

Fedora 43 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified
Prova della firma
43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=aarch64
Signed-object SHA-256
6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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
Fedora 43 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified
Prova della firma
43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=x86_64
Signed-object SHA-256
42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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