Fedora 43 native package

gprolog

GNU Prolog is a free Prolog compiler

Packages / Fedora 43 / Unspecified / gprolog

[Source: gprolog]

Package: gprolog (1.5.0-15.fc43)

[Project overview: gprolog]

External Resources:

Homepage: [www.gprolog.org]

Similar packages:

[gprolog-docs]
Documentation for GNU Prolog

GNU Prolog is a free Prolog compiler

GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz). GNU Prolog is a very efficient native compiler producing (small) stand-alone executables. GNU-Prolog also offers a classical top-level+debugger. GNU Prolog conforms to the ISO standard for Prolog but also includes a lot of extensions (global variables, DCG, sockets, OS interface,...). GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics.

Other Packages Related to gprolog:

dep: ld-linux-aarch64.so.1()(64bit)
Package not available
dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libm.so.6(GLIBC_2.17)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.29)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.38)(64bit)
Package not available
dep: rtld(GNU_HASH)
Package not available
dep: libc.so.6(GLIBC_2.34)(64bit)
Package not available

Download gprolog

Architecture	Package Size	Installed Size	Files
aarch64	1.8 MiB	9.8 MiB	[list of files]
x86_64	1.7 MiB	8.7 MiB	[list of files]

Paketdateipfade (66)

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/bin/fd2c
/usr/bin/gplc
/usr/bin/gprolog
/usr/bin/hexgplc
/usr/bin/ma2asm
/usr/bin/pl2wam
/usr/bin/wam2ma
/usr/lib64/gprolog-1.5.0
/usr/lib64/gprolog-1.5.0/bin
/usr/lib64/gprolog-1.5.0/bin/fd2c
/usr/lib64/gprolog-1.5.0/bin/gplc
/usr/lib64/gprolog-1.5.0/bin/gprolog
/usr/lib64/gprolog-1.5.0/bin/hexgplc
/usr/lib64/gprolog-1.5.0/bin/ma2asm
/usr/lib64/gprolog-1.5.0/bin/pl2wam
/usr/lib64/gprolog-1.5.0/bin/wam2ma
/usr/lib64/gprolog-1.5.0/gprolog.ico
/usr/lib64/gprolog-1.5.0/include
/usr/lib64/gprolog-1.5.0/include/fd_to_c.h
/usr/lib64/gprolog-1.5.0/include/gprolog.h
/usr/lib64/gprolog-1.5.0/lib
/usr/lib64/gprolog-1.5.0/lib/all_fd_bips.o
/usr/lib64/gprolog-1.5.0/lib/all_pl_bips.o
/usr/lib64/gprolog-1.5.0/lib/debugger.o
/usr/lib64/gprolog-1.5.0/lib/libbips_fd.a
/usr/lib64/gprolog-1.5.0/lib/libbips_pl.a
/usr/lib64/gprolog-1.5.0/lib/libengine_fd.a
/usr/lib64/gprolog-1.5.0/lib/libengine_pl.a
/usr/lib64/gprolog-1.5.0/lib/liblinedit.a
/usr/lib64/gprolog-1.5.0/lib/top_level_main.o
/usr/lib64/gprolog-1.5.0/lib/top_level.o
/usr/lib/.build-id
/usr/lib/.build-id/11
/usr/lib/.build-id/11/f0b2152a7e00d4a8c73668196e0ac56dea694e
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/3bd4f9a555c139f29fc79efac928c7a1129937
/usr/lib/.build-id/42
/usr/lib/.build-id/42/3e416c701e2a56636bfaf7347145b9a3ad92cd
/usr/lib/.build-id/74
/usr/lib/.build-id/74/77acea072862190c13c5d4d26a7385f5673e4a
/usr/lib/.build-id/7b
/usr/lib/.build-id/7b/8740fcdeb4a2eac310b7748015fb64585a07b2
/usr/lib/.build-id/7d
/usr/lib/.build-id/7d/de5d73d18680b53233372364d2c9552cafe3bb
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/71a4e7e4f74ef2c2fabf079c585ff6ea01dc0e
/usr/lib/.build-id/af
/usr/lib/.build-id/af/15f328490857da44895fedf9620afc865fa55f
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/a75a780c380f101fa779a76b2ef778a57f30eb
/usr/lib/.build-id/cc
/usr/lib/.build-id/cc/b1f3210077af03ab97835ef01b69ddd1075de2
/usr/lib/.build-id/e8
/usr/lib/.build-id/e8/0abb5448b2d9b1a470ccd8ba67106d227d7385
/usr/lib/.build-id/f8
/usr/lib/.build-id/f8/252271f36599a1fa17f973223fa3a30a8f090b
/usr/lib/.build-id/f8/60393a9600754562d8dbefd39dd8ba47bc834e
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/df56f69ec08f08ab9e841899dcf2ba205c0f56
/usr/share/doc/gprolog
/usr/share/doc/gprolog/ChangeLog
/usr/share/doc/gprolog/COPYING
/usr/share/doc/gprolog/NEWS
/usr/share/doc/gprolog/PROBLEMS
/usr/share/doc/gprolog/README
/usr/share/doc/gprolog/VERSION

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

Dieses Paket verwenden

OpenFactory kann dieses Betriebssystem in einer Browser-VM starten oder einen Image-Build mit dem nativen Paketnamen aus diesem Datensatz beginnen.

Fedora 43 im Browser testen Image mit gprolog bauen

Versionen, Suiten und Repositories

Jede Zeile ist Paketindex-Metadaten für eine Version, Architektur, Suite und ein Repository. Namen, URLs und Größen stammen aus der Quelle; ein Link ist ein veränderbarer Abrufort, kein Weitergabanspruch von OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
1.5.0-15.fc43	43 / everything	aarch64	Fedora 43 · Everything · aarch64	1.8 MiB	9.8 MiB	Packages/g/gprolog-1.5.0-15.fc43.aarch64.rpm
1.5.0-15.fc43	43 / everything	x86_64	Fedora 43 · Everything · x86_64	1.7 MiB	8.7 MiB	Packages/g/gprolog-1.5.0-15.fc43.x86_64.rpm

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

Prüfsummen und Beobachtungsdaten

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.0-15.fc43 / 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 sha256: 13a4f1666d87f7dbef08a5f80a8f69433ddaf47286a1e81ccda4b2a319e22dc1

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '13a4f1666d87f7dbef08a5f80a8f69433ddaf47286a1e81ccda4b2a319e22dc1' 'gprolog-1.5.0-15.fc43.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

1.5.0-15.fc43 / 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 sha256: 0ba82229df7a474f23059946c22fdc64c96965e2b6fda352635859cfe1413787

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '0ba82229df7a474f23059946c22fdc64c96965e2b6fda352635859cfe1413787' 'gprolog-1.5.0-15.fc43.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

Vollständigkeit des Katalogsatzes

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: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2, Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Quellen und Herkunft

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.

Fedora 43 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2
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://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=aarch64
Signed-object SHA-256
6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
Signer fingerprint
Not recorded
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
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 43 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2
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://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=x86_64
Signed-object SHA-256
42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
Signer fingerprint
Not recorded
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
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified