gprolog-1.5.0-11.fc40 RPM for x86_64

From Fedora 40 for x86_64 / g

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.

Provides

• gprolog
• gprolog(x86-64)
• gprolog-examples

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.15)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

LGPL-3.0-or-later OR GPL-2.0-or-later

Changelog

* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sat Jan 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Fri Jun 23 2023 Till Hofmann <thofmann@fedoraproject.org> - 1.5.0-8
  - Migrate to SPDX license tag
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Feb 10 2022 Jerry James <loganjerry@gmail.com> - 1.5.0-5
  - Remove package note flags from headers (#2051341)
  - Change license from GPLv2+ to LGPLv3+ or GPLv2+
  - Add patch to link binaries with Fedora LDFLAGS
  - Add aarch64 to list of supported architectures
  - Allow use of registers unless building for 32-bit x86
  - Improve build reproducibility
  - Fix rpmlint warnings about mixed spaces and tabs

Files

/usr/bin/fd2c
/usr/bin/gplc
/usr/bin/gprolog
/usr/bin/hexgplc
/usr/bin/ma2asm
/usr/bin/pl2wam
/usr/bin/wam2ma
/usr/lib/.build-id
/usr/lib/.build-id/24
/usr/lib/.build-id/24/ad4427cac134bd3690d2de1e70334ca3bcfd1e
/usr/lib/.build-id/43
/usr/lib/.build-id/43/b5bab8285ad37cfac200cb122df8381565061d
/usr/lib/.build-id/58
/usr/lib/.build-id/58/0abc0d2fbb7b3da579cf3d4663f2da34c01a6d
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/7caa9218e8a50b7cca76e5426c367bf077444b
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/e8c4f04413fd2b508336bc5e080f3284c909a1
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/7cb2710cde0cb0cbaf9a69c305d377f8181f4c
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/dfa6d242a928c5dcff962104cac1a5af55ae4e
/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.o
/usr/lib64/gprolog-1.5.0/lib/top_level_main.o
/usr/share/doc/gprolog
/usr/share/doc/gprolog/COPYING
/usr/share/doc/gprolog/ChangeLog
/usr/share/doc/gprolog/NEWS
/usr/share/doc/gprolog/PROBLEMS
/usr/share/doc/gprolog/README
/usr/share/doc/gprolog/VERSION

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 19:19:16 2025