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:46 2025 |
Group: Unspecified | Build host: buildhw-a64-04.iad2.fedoraproject.org |
Size: 6793915 | 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/5f /usr/lib/.build-id/5f/21147b91d01bd30bed40bf13e4dcb83ceb864d /usr/lib/.build-id/70 /usr/lib/.build-id/70/5ff0e4526f4268701173a2efee581ff739c113 /usr/lib/.build-id/73 /usr/lib/.build-id/73/854ae4cd0f29289edbd5ad575d71b3cbaa22d2 /usr/lib/.build-id/92 /usr/lib/.build-id/92/54bf2d5b94b3b70f89e3e905ff2e2c9f15f11f /usr/lib/.build-id/98 /usr/lib/.build-id/98/7fd39174eb1743e2d7db7460ac104cf8a48a12 /usr/lib/.build-id/e0 /usr/lib/.build-id/e0/2429fb1e190e14b2830e42c760769a0f81b40d /usr/lib/.build-id/f4 /usr/lib/.build-id/f4/0b66047edb58ba9714c26d6accd91a9f92ec9b /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 02:02:05 2025