Fedora 44 native package

gprolog

GNU Prolog is a free Prolog compiler

Packages / Fedora 44 / Unspecified / gprolog

[Source: gprolog]

Package: gprolog (1.5.0-17.fc44)

[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 (92)

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/37
/usr/lib/.build-id/37/ab6d01ce1fd246392c848868d93e3b431e4e18
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/3bd4f9a555c139f29fc79efac928c7a1129937
/usr/lib/.build-id/40
/usr/lib/.build-id/40/3bfd2c2f05ac55764e01994fc42abf0e1f729c
/usr/lib/.build-id/41
/usr/lib/.build-id/41/87307c9136de581b9f4f137457f819a1ae5d19
/usr/lib/.build-id/42
/usr/lib/.build-id/42/3e416c701e2a56636bfaf7347145b9a3ad92cd
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/6bf4267facee52f09bd9c1fd6f5f07122f32ef
/usr/lib/.build-id/62
/usr/lib/.build-id/62/d2d94d35bc9dd019091a5011277054da0f1ed0
/usr/lib/.build-id/70
/usr/lib/.build-id/70/26557544f5641c2f0a226f3b0708fc71ded6fb
/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/84
/usr/lib/.build-id/84/ba75c6b1e033ff5f5596280786af8cc2e4323f
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/71a4e7e4f74ef2c2fabf079c585ff6ea01dc0e
/usr/lib/.build-id/ae/cfa930e686b64468d40c494292cd58f0b22190
/usr/lib/.build-id/af
/usr/lib/.build-id/af/15f328490857da44895fedf9620afc865fa55f
/usr/lib/.build-id/af/e060e2992eb524810b9ebef4fa69d5139910ed
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/ee73325ead0c5b5ba0e9af7a60caad3a9046ed
/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/dd
/usr/lib/.build-id/dd/59838211fc758fa0cb64bf757ce96e7309c75a
/usr/lib/.build-id/e8
/usr/lib/.build-id/e8/0abb5448b2d9b1a470ccd8ba67106d227d7385
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/413750f5cab3b8d1206695a02f681b3d6a7b7b
/usr/lib/.build-id/f8
/usr/lib/.build-id/f8/252271f36599a1fa17f973223fa3a30a8f090b
/usr/lib/.build-id/f8/60393a9600754562d8dbefd39dd8ba47bc834e
/usr/lib/.build-id/fc
/usr/lib/.build-id/fc/7c3ea1ea125b368272d8b19c496a8d3759588d
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/e1225615b9f757d35cec9c5d678825f34cba3b
/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 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

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 44 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-17.fc44	44 / updates	aarch64	Fedora 44 · updates · aarch64	1.8 MiB	9.8 MiB	Packages/g/gprolog-1.5.0-17.fc44.aarch64.rpm
1.5.0-17.fc44	44 / updates	x86_64	Fedora 44 · updates · x86_64	1.7 MiB	8.7 MiB	Packages/g/gprolog-1.5.0-17.fc44.x86_64.rpm
1.5.0-15.fc43	44 / everything	aarch64	Fedora 44 · Everything · aarch64	1.8 MiB	9.8 MiB	Packages/g/gprolog-1.5.0-15.fc43.aarch64.rpm
1.5.0-15.fc43	44 / everything	x86_64	Fedora 44 · Everything · x86_64	1.7 MiB	8.7 MiB	Packages/g/gprolog-1.5.0-15.fc43.x86_64.rpm

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

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-17.fc44 / 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: 62181458382bf9f3c2f444ff801a8ebdfdcfaf796032ecb021fe79f8b3c8d402

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

printf '%s  %s\n' '62181458382bf9f3c2f444ff801a8ebdfdcfaf796032ecb021fe79f8b3c8d402' 'gprolog-1.5.0-17.fc44.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 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

1.5.0-17.fc44 / 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: a2fa9ffaad1d2de6120f6e9a47fb0f73e321d4b7d321c58cd5d81d3ff2eec6a9

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

printf '%s  %s\n' 'a2fa9ffaad1d2de6120f6e9a47fb0f73e321d4b7d321c58cd5d81d3ff2eec6a9' 'gprolog-1.5.0-17.fc44.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 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

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: de39f673c9512ec1f6461e3c41d0323c70abab5aeb078938ada188d06bf96034

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

printf '%s  %s\n' 'de39f673c9512ec1f6461e3c41d0323c70abab5aeb078938ada188d06bf96034' '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 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

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: 90f1ed8b92e8f652f30f250c752617650ebb977a4a116378bf3678a1944d8455

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

printf '%s  %s\n' '90f1ed8b92e8f652f30f250c752617650ebb977a4a116378bf3678a1944d8455' '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 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

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 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee, Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991, Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b, Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419. 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 44 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
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-44&arch=aarch64
Signed-object SHA-256
236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
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 44 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
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-44&arch=x86_64
Signed-object SHA-256
1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
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 44 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b
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=updates-released-f44&arch=aarch64
Signed-object SHA-256
2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
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 44 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419
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=updates-released-f44&arch=x86_64
Signed-object SHA-256
a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
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