gprolog-1.5.0-11.fc40 RPM for aarch64

From Fedora 40 for aarch64 / 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(aarch-64)
• gprolog-examples

Requires

• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(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/2a
/usr/lib/.build-id/2a/d6a01f10ab5122f4ce80a7bf85f3996f4c4580
/usr/lib/.build-id/42
/usr/lib/.build-id/42/d3d33709b6011dcc5b863fd2ebb907489e370a
/usr/lib/.build-id/55
/usr/lib/.build-id/55/ef06bee875ff4be116fb8fe0a38c9576d8d162
/usr/lib/.build-id/61
/usr/lib/.build-id/61/c3676652492ca5201f01d79f4393c7c95ecb5f
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/358444c3b36b3c9435e6b881a1fd99a01ae773
/usr/lib/.build-id/b6/c9fc736dd8bcd6a4931eff3c3ff93d05143525
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/96f28fe480199c8993ea8ad51119bbdbbea996
/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, Sun Mar 9 18:21:05 2025