Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: gprolog | Distribution: Fedora Project |
Version: 1.5.0 | Vendor: Fedora Project |
Release: 14.fc43 | Build date: Sun Feb 23 17:13:42 2025 |
Group: Unspecified | Build host: buildhw-x86-15.iad2.fedoraproject.org |
Size: 5638269 | Source RPM: gprolog-1.5.0-14.fc43.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.
LGPL-3.0-or-later OR GPL-2.0-or-later
* 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 * 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
/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/11 /usr/lib/.build-id/11/f4cf402e4198d6906fa9d7252762086feed9e0 /usr/lib/.build-id/44 /usr/lib/.build-id/44/282de5e8029245bb9bb7bcc1a712497a2b2341 /usr/lib/.build-id/87 /usr/lib/.build-id/87/2b037eb08eef6712df0815f5cc79748e849035 /usr/lib/.build-id/87/37c7519a03e24d6edfae76bd32791f30343c90 /usr/lib/.build-id/a5 /usr/lib/.build-id/a5/876c0ecb5d5c978f08f179c6aa753fac2bb916 /usr/lib/.build-id/b4 /usr/lib/.build-id/b4/3a90d9e46379186dfca21ac4b09c8cb455c68b /usr/lib/.build-id/b4/5d029000b185383ff71f08675d15fc85e7b392 /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, Thu Feb 27 00:21:54 2025