gprolog-1.5.0-9.fc39 RPM for x86_64

From Fedora 39 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

• glibc >= 2.37.9000-17
• 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)
• 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

* 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
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

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/2a
/usr/lib/.build-id/2a/0e75de039bd87ef622ebcf362287fe23c7fd2f
/usr/lib/.build-id/33
/usr/lib/.build-id/33/ef9e20bf1417ff5a0d51dd5fa1b9bafd4af111
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/4348422eaa10ff22ab167bf80ce7478179fac9
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/53ae66e7b358d5376bc590971bac32957d467a
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/04bf5cb781b924b41d2400ff651f743ba4722f
/usr/lib/.build-id/f0
/usr/lib/.build-id/f0/4b9c6388e5805a8514f7783c18c12cd25feabb
/usr/lib/.build-id/f6
/usr/lib/.build-id/f6/1e4f1545259acecf2d8167c9db545b2fa885cc
/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, Tue Jul 9 21:55:09 2024