| 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: 15.fc43 | Build date: Thu Jul 24 18:37:09 2025 |
| Group: Unspecified | Build host: buildvm-x86-30.rdu3.fedoraproject.org |
| Size: 9126946 | Source RPM: gprolog-1.5.0-15.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
* 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 * 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
/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/f0b2152a7e00d4a8c73668196e0ac56dea694e /usr/lib/.build-id/3e /usr/lib/.build-id/3e/3bd4f9a555c139f29fc79efac928c7a1129937 /usr/lib/.build-id/7b /usr/lib/.build-id/7b/8740fcdeb4a2eac310b7748015fb64585a07b2 /usr/lib/.build-id/af /usr/lib/.build-id/af/15f328490857da44895fedf9620afc865fa55f /usr/lib/.build-id/cc /usr/lib/.build-id/cc/b1f3210077af03ab97835ef01b69ddd1075de2 /usr/lib/.build-id/f8 /usr/lib/.build-id/f8/60393a9600754562d8dbefd39dd8ba47bc834e /usr/lib/.build-id/fe /usr/lib/.build-id/fe/df56f69ec08f08ab9e841899dcf2ba205c0f56 /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, Sat Aug 2 23:48:04 2025