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.fc42 | Build date: Sun Feb 23 17:32:55 2025 |
Group: Unspecified | Build host: buildhw-x86-15.iad2.fedoraproject.org |
Size: 5638157 | Source RPM: gprolog-1.5.0-14.fc42.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 <[email protected]> - 1.5.0-14 - Build with `-std=gnu17` as C23 is not supported yet * Fri Jan 17 2025 Fedora Release Engineering <[email protected]> - 1.5.0-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jul 18 2024 Fedora Release Engineering <[email protected]> - 1.5.0-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jan 24 2024 Fedora Release Engineering <[email protected]> - 1.5.0-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jan 20 2024 Fedora Release Engineering <[email protected]> - 1.5.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jul 20 2023 Fedora Release Engineering <[email protected]> - 1.5.0-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jun 23 2023 Till Hofmann <[email protected]> - 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/00 /usr/lib/.build-id/00/56f4b0ce49c568ad95f303b98ab708af609c86 /usr/lib/.build-id/2f /usr/lib/.build-id/2f/8eeb1a85652a9b20c5e4dfa9d2ff16d06404a0 /usr/lib/.build-id/3a /usr/lib/.build-id/3a/1428fe17415b13052425d1a1f550622edfa915 /usr/lib/.build-id/93 /usr/lib/.build-id/93/37afef6f6c980e098f8d10a95103fd15b4f3a1 /usr/lib/.build-id/a8 /usr/lib/.build-id/a8/fce729214c63e08dc75d9850da06111a0976e3 /usr/lib/.build-id/c3 /usr/lib/.build-id/c3/2644be2a2b86b6d772d7a7991a8d8fef782b8f /usr/lib/.build-id/c5 /usr/lib/.build-id/c5/6a11146b1b901d9e4d8d6f9ccb0bb9c3346512 /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 01:56:01 2025