Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

gprolog-1.5.0-18.fc45 RPM for aarch64

From Fedora Rawhide for aarch64 / g

Name: gprolog Distribution: Fedora Project
Version: 1.5.0 Vendor: Fedora Project
Release: 18.fc45 Build date: Thu Jul 16 10:19:36 2026
Group: Unspecified Build host: buildvm-a64-18.rdu3.fedoraproject.org
Size: 10301601 Source RPM: gprolog-1.5.0-18.fc45.src.rpm
Packager: Fedora Project
Url: http://www.gprolog.org
Summary: 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.

Provides

Requires

License

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

Changelog

* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 02 2026 Till Hofmann <thofmann@fedoraproject.org> - 1.5.0-17
  - Fix FTBFS on ix86: pass -Wl,-z,notext via LDFLAGS, not --with-c-flags
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-16
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sun Feb 23 2025 Till Hofmann <thofmann@fedoraproject.org> - 1.5.0-14
  - Build with `-std=gnu17` as C23 is not supported yet
* Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_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/01
/usr/lib/.build-id/01/b82728bfbca84af8d228bca6b46fb8b5109dd1
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/c797f4fb0ffea041e8b1d85c619f95db5e6ee8
/usr/lib/.build-id/60
/usr/lib/.build-id/60/450d0a7a969e69811cf9e9df6edc4ec6681bb6
/usr/lib/.build-id/78
/usr/lib/.build-id/78/96703a260e4a91081a9ce40ad92a6c15953e08
/usr/lib/.build-id/90
/usr/lib/.build-id/90/425b5537d405c981ab763e4613de6577e4da70
/usr/lib/.build-id/b3
/usr/lib/.build-id/b3/5d08966c7d3a743dcef412fa353eb77cc15210
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/2a0d2062951b8f69eab2aef6f4175b4633a016
/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 Jul 29 22:39:46 2026